Alternatives and similar repositories for restrepo-1957:

Users that are interested in restrepo-1957 are comparing it to the libraries listed below

• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 9 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆31Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆41Updated 3 months ago
• ozooxo / Schemannian
  A scheme/Racket based package for symbolic mathematics for physicist, which currently supports a realization of Euler-Lagrangian Equation…
  ☆16Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• luksamuk / cl-ann
  Artificial Neural Network implementation in Common Lisp
  ☆10Updated 6 years ago
• jmoy / norvig-spell
  Different Implementations of Norvig's spellchecker
  ☆38Updated 10 years ago
• rbryan / guile-lips
  lips style preprocessor implemented in guile.
  ☆9Updated 8 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 10 months ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• namin / reflection-schemes
  exploration of reflective architectures in Scheme
  ☆20Updated 2 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• pkrumins / the-reasoned-schemer
  All the logic programming code examples from the book "The Reasoned Schemer"
  ☆52Updated 15 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 9 months ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆61Updated 4 months ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 7 years ago