Block or report user

Report or block sweirich

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Pinned repositories

  1. dth

    Examples of Dependently-typed programs in Haskell

    Haskell 164 16

  2. pi-forall

    A demo implementation of a simple dependently-typed language

    Haskell 274 51

  3. corespec

    A Specification for Dependent Types in Haskell (Core)

    Coq 43 2

  4. plclub/lngen

    Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

    Haskell 12 4

  5. antalsz/hs-to-coq

    Convert Haskell source code to Coq source code

    Coq 164 10

  6. tal

    An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

    Haskell 73 6

841 contributions in the last year

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

Contribution activity

July 2018

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