Alternatives and similar repositories for ple

Users that are interested in ple are comparing it to the libraries listed below

• oils-for-unix / blog-code
  Code for http://oilshell.org/blog/
  ☆50Updated 3 months ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 15 years ago
• papers-we-love / pwlconf-info
  Materials and accompanying references for all things pwlconf related
  ☆60Updated 6 years ago
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆103Updated this week
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 6 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• ltworf / relational
  Educational tool for relational algebra
  ☆92Updated last year
• norswap / prolog-dry
  A terse Prolog course
  ☆43Updated 6 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• computationclub / computationclub.github.io
  The website of the London Computation Club
  ☆74Updated 2 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆73Updated 5 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆133Updated 3 years ago
• j2kun / essays
  Short essays I've written
  ☆80Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆143Updated 6 months ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 4 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• mcsoto / cosmos
  A new logic programming language.
  ☆175Updated 2 years ago