Skip to content
View chrisnc's full-sized avatar
52 followers · 17 following
  • California

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report chrisnc

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Stars

4 results for sponsorable starred repositories written in Haskell
Clear filter

isovector / thinking-with-types

📖 source material for Thinking with Types

Haskell 493 44 Updated Mar 6, 2023

Gabriella439 / Haskell-Morte-Library

A bare-bones calculus-of-constructions

Haskell 383 25 Updated Sep 4, 2022

mstksg / auto

Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

Haskell 182 11 Updated Jun 28, 2019

mstksg / auto-examples

Example projects using the auto library.

Haskell 20 2 Updated May 16, 2015