Skip to content
View solomon-b's full-sized avatar
126 followers · 159 following

Sponsors

@JonathanLorimer
@cprussin

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@cofree-coffee
Block or Report

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

  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 37 3

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

    A minimal JSON templating language

    Haskell 55 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 42 3

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

    A library for building bots compositionally.

    Haskell 39 8