Skip to content
View solomon-b's full-sized avatar

Sponsors

@JonathanLorimer
@cprussin

Organizations

@cofree-coffee

Block or report solomon-b

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

Pinned Loading

  1. monoidal-functors monoidal-functors Public

    A library encoding monoidal functors and related structures in Haskell.

    Haskell 16 2

  2. ToposInstitute/polytt ToposInstitute/polytt Public

    A type theory with native support for Polynomial Functors.

    OCaml 38 3

  3. hasura/kriti-lang hasura/kriti-lang Public

    A minimal JSON templating language

    Haskell 56 9

  4. cofree-coffee/poly cofree-coffee/poly Public

    Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.

    Agda 4

  5. lambda-calculus-hs lambda-calculus-hs Public

    Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

    Haskell 44 3

  6. cofree-coffee/cofree-bot cofree-coffee/cofree-bot Public

    A library for building bots compositionally.

    Haskell 41 8