Skip to content
View adampalay's full-sized avatar

Block or report adampalay

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 Loading

  1. SKITypes SKITypes Public

    Implementing the SKI combinator calculus in Haskell's type system

    Haskell 6 1

  2. circuit-finder circuit-finder Public

    use tla+ to find programs, from circuits, quantum, to Lisp

    TLA 5 1

  3. pypoems pypoems Public

    Python 3

  4. PlayShakespeare.com-XML PlayShakespeare.com-XML Public

    Forked from severdia/PlayShakespeare.com-XML

    XML Editions of the complete works of Shakespeare

    1

  5. coq-intro coq-intro Public

    Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document

    Coq 1

  6. git git Public

    Forked from git/git

    Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

    C 1