Alternatives and similar repositories for book:

Users that are interested in book are comparing it to the libraries listed below

• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆67Updated 7 years ago
• dpiponi / Stellarator
  An Atari VCS 2600 emulator written in Haskell
  ☆18Updated 3 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 7 months ago
• soupi / chip-8
  A CHIP-8 Emulator written in Haskell
  ☆38Updated 7 years ago
• mstewartgallus / hs-callbypushvalue
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Updated 4 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆91Updated 7 years ago
• AndrasKovacs / universes
  Generalized syntax & semantics for universe hierarchies
  ☆29Updated last year
• fare / moll
  My Own Linear Lisp
  ☆39Updated 6 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆43Updated 12 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆42Updated 6 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆28Updated last year
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 2 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆52Updated 3 months ago
• emarzion / SystemT
  An interpreter for Gödel's System T
  ☆12Updated 7 years ago