Skip to content
View petersn's full-sized avatar


  • Pro
Block or Report

Block or report petersn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. web-sploosh-kaboom web-sploosh-kaboom Public

    Sploosh Kaboom web interface

    JavaScript 204 10

  2. six-char-max six-char-max Public

    80 characters per line is waaaay too many. All Python programs should have at most six characters per line.

    Python 72 7

  3. tinysr tinysr Public

    Tiny Speech Recognizer

    C 56 11

  4. duckchess duckchess Public

    An engine + analysis interface for duck chess

    Rust 17

  5. autosat autosat Public

    Library for creation of SAT instances.

    Python 15

  6. scowproof scowproof Public

    A type checker for a dependent type theory.

    Haskell 6