Alternatives and similar repositories for learning-language-design

Users that are interested in learning-language-design are comparing it to the libraries listed below

• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• dbravender / pfpp
  Pure python functional programming
  ☆28Updated 15 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• djc / runa
  A Python-like systems programming language
  ☆84Updated 9 years ago
• Pauan / nulan
  Purely functional statically typed Lisp which compiles to JavaScript
  ☆47Updated 7 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• jfo / sild
  Sild is a lisp dialect
  ☆43Updated 6 months ago
• xixixao / Golem
  Shem's powerful IDE.
  ☆62Updated 4 years ago
• billhails / PyScheme
  A small demo lambda-language written in Python
  ☆32Updated 6 years ago
• jozefg / hm
  A small implementation of type inference
  ☆78Updated 10 years ago
• rikusalminen / funfun
  A funny toy programming language project
  ☆29Updated 12 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆70Updated 6 years ago
• ToJans / learninghaskell
  Learning Haskell
  ☆49Updated 9 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• wayfarerdb / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• mfine / nfl-divisions-power-rankings
  ☆15Updated 9 years ago
• andyfinnell / kalerl
  An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.
  ☆12Updated 9 years ago
• Foxboron / Hype
  Function annotations for Hylang!
  ☆11Updated 10 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• technomancy / super-explorer
  2D tile exploring game
  ☆12Updated 10 years ago
• zhemao / funktown
  Immutable Data Structures for Python
  ☆75Updated 9 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated last year
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• in4lio / yupp
  yet another lexical preprocessor
  ☆40Updated 4 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year