Alternatives and similar repositories for backus-dijkstra-letters-1979

Users that are interested in backus-dijkstra-letters-1979 are comparing it to the libraries listed below

• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆80Updated 3 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆123Updated 12 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆124Updated 6 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆99Updated 9 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• jamesbvaughan / httppl
  A simple http server written in Prolog
  ☆30Updated 8 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆181Updated 5 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 2 months ago
• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 6 months ago
• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆82Updated 8 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 6 years ago
• readevalprintlove / black
  Kenichi Asai's reflective programming language Black
  ☆198Updated 3 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated 11 months ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• goudreinette / forth
  Forth clone in Haskell
  ☆33Updated 8 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• kragen / knuth-interview-2006
  The transcript of a Donald Knuth interview in 2006
  ☆227Updated 8 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆73Updated 2 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆109Updated 8 years ago
• DexterLagan / lsh
  A fully-featured lisp/scheme shell written in Racket.
  ☆122Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago