Block or report user

Report or block adampalay

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Popular repositories

  1. SKITypes

    Implementing the SKI combinator calculus in Haskell's type system

    Haskell 4

  2. pypoems

    Python 3

  3. circuit-finder

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

    TLA 3 1

  4. PlayShakespeare.com-XML

    Forked from severdia/PlayShakespeare.com-XML

    XML Editions of the complete works of Shakespeare

    1

  5. coq-intro

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

    Coq 1

  6. git

    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

95 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

January - February 2019

adampalay has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.