Pinned Loading

1. monoidal-functors monoidal-functors Public

   A library encoding monoidal functors and related structures in Haskell.

   Haskell 18 4

2. ToposInstitute/polytt ToposInstitute/polytt Public

   A type theory with native support for Polynomial Functors.

   OCaml 42 3

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

   A minimal JSON templating language

   Haskell 56 10

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

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

   Agda 5

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

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

   Haskell 48 4

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

   A library for building bots compositionally.

   Haskell 52 8