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

• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆27Updated 2 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• substratic / engine-for-gambit
  Substratic Engine - A game engine for Gambit Scheme
  ☆11Updated 4 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 12 years ago
• racket / slideshow
  ☆34Updated 3 weeks ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆37Updated 11 years ago
• kvalle / sml-testing
  Simple framework for testing Standard ML code.
  ☆23Updated 11 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 10 years ago
• michaelfeathers / vih
  a simple vi clone written in Haskell
  ☆29Updated 15 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 13 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated last year
• racket / parser-tools
  ☆12Updated 3 months ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated 11 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• eiselekd / MinimalLisp
  Minimal Lisp/Forth
  ☆10Updated last month
• LeifAndersen / racket-to-c
  ☆29Updated 9 years ago
• fare / moll
  My Own Linear Lisp
  ☆38Updated 6 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• mchakravarty / BigPixel
  Pixel art for games
  ☆140Updated 10 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 10 years ago
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆26Updated 10 years ago
• boyland / twelf-library
  Library classes for the Twelf Proof System
  ☆21Updated 4 years ago