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 last month
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 8 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• hellerve / ptolemy
  My reading list
  ☆84Updated 3 years ago
• ltworf / relational
  Educational tool for relational algebra
  ☆92Updated last year
• zachallaun / secd
  A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
  ☆124Updated 12 years ago
• namin / io.livecode.ch
  interactive programming tutorials, powered by Github and Docker
  ☆143Updated 4 months ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆99Updated this week
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆81Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• jiahao / backus-dijkstra-letters-1979
  Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…
  ☆111Updated 9 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆18Updated 5 years ago
• sparist / Om
  The Om programming language.
  ☆174Updated 11 months ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• CompSciCabal / SMRTYPRTY
  We read computer science books for fun. This is where the secret notes live.
  ☆78Updated 3 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 4 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆61Updated 7 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆132Updated 3 years ago
• BartoszMilewski / CodeCoop
  Peer-to-peer version control system
  ☆95Updated 2 years ago