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
• eiselekd / MinimalLisp
  Minimal Lisp/Forth
  ☆11Updated 5 months ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 10 years ago
• fjames86 / flisp
  A Scheme-like Lisp interpreter that can also run as an operating system
  ☆18Updated 11 years ago
• xieyuheng / cicada-nymph
  a forth like language written in fasm assembler
  ☆14Updated 8 years ago
• grokthis / ucisc
  ☆23Updated 2 years ago
• JorthVM / JorthVM
  a Java VM implemented in Forth
  ☆40Updated 13 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆36Updated 11 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 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
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆24Updated 10 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 13 years ago
• darius / elv
  A very basic Lisp + Erlang-style processes, on a virtual machine
  ☆10Updated 8 years ago
• scheme / edwin48
  MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH
  ☆42Updated 8 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 4 years ago
• AaronJackson / bnlisp
  A lisp dedicated to bnl intended for use under 2.11BSD on a PDP-11
  ☆20Updated 2 years ago
• Dyalog / DyalogDocker
  Run Dyalog APL under Docker
  ☆10Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 3 months ago
• aw / picolisp-unit
  Unit Testing framework for PicoLisp
  ☆22Updated 4 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆63Updated 4 years ago
• owainlewis / forth
  A micro compiler for the FORTH programming language
  ☆12Updated 4 years ago
• reflectionalist / S9fES
  Scheme 9 from Empty Space
  ☆20Updated 11 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• jaoswald / cl-comfy-6502
  Baker's COMFY compiler for the 6502 ported to Common Lisp
  ☆30Updated 14 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 4 years ago