Alternatives and similar repositories for from-nand-to-donut

Users that are interested in from-nand-to-donut are comparing it to the libraries listed below

• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• racket / parser-tools
  ☆14Updated last month
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 9 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 6 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 3 months ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 12 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 7 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 2 weeks ago
• haskell / math-functions
  Special mathematical functions
  ☆43Updated last year
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆20Updated 5 years ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 7 years ago
• racket / math
  ☆39Updated last month
• deech / shen-rust
  ☆35Updated 6 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆23Updated 9 years ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆27Updated 9 years ago
• amcphail / lambda
  An untyped lambda calculus interpreter
  ☆12Updated 2 years ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆23Updated last year
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 11 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 2 months ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆48Updated last year