soylent / from-nand-to-donut

Related projects ⓘ

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

• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆26Updated last year
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 7 years ago
• michaelfeathers / vih
  a simple vi clone written in Haskell
  ☆29Updated 15 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• haskell / math-functions
  Special mathematical functions
  ☆40Updated 7 months ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆18Updated 13 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆23Updated 2 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆33Updated 5 years ago
• substratic / engine-for-gambit
  Substratic Engine - A game engine for Gambit Scheme
  ☆11Updated 4 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• lexi-lambda / racket-tulip
  ☆15Updated 8 years ago
• racket / parser-tools
  ☆11Updated 2 weeks ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆20Updated last year
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• bwkimmel / secd
  SECD Machine Implementation in x86 Assembly
  ☆23Updated 10 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• JorthVM / JorthVM
  a Java VM implemented in Forth
  ☆39Updated 12 years ago
• lambda-fairy / sylvia
  Logic puzzle game based on the lambda calculus
  ☆19Updated 12 years ago
• bertas / hm_prolog
  A Hindley-Milner type inference implementation in Prolog
  ☆13Updated 9 years ago
• eiselekd / MinimalLisp
  Minimal Lisp/Forth
  ☆10Updated 12 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated last year
• ziman / bibdris
  BibTeX database management in Idris
  ☆18Updated 10 years ago
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆37Updated last year
• Daniel-Diaz / pcre-light
  A small, efficient and portable regex library for Perl 5 compatible regular expressions
  ☆15Updated last year
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 10 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆24Updated 11 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• lortabac / ariel
  A simple, purely-functional programming language
  ☆24Updated 2 years ago