Alternatives and similar repositories for ple:

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

• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 8 years ago
• orlandohill / peg-left-recursion
  An idea to handle left-recursion in Parsing Expression Grammars (PEGs)
  ☆36Updated 14 years ago
• VictorNicollet / 99-Problems-OCaml
  Solving "99 List Problems" using Objective Caml
  ☆84Updated 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/…
  ☆108Updated 8 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mpu / gthreads-art
  A green threads tutorial.
  ☆62Updated 7 years ago
• johnwhitington / ocaml-from-very-beginning-exercises
  Examples and exercises for the OCaml Book "OCaml from the Very Beginning"
  ☆34Updated 3 years ago
• darius / code-canon
  A catalog of code worth reading
  ☆113Updated 7 years ago
• johnwhitington / more-ocaml-exercises
  Examples and Exercises for the book "More OCaml"
  ☆62Updated 2 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• percolate / pratt-parser
  A Pratt Parser implementation in Python
  ☆31Updated 7 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• mnielsen / tiddlylisp
  A toy Lisp interpreter and simple eval function
  ☆145Updated last year
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• pkrumins / the-little-mler
  All the ML code examples from the book "The Little MLer"
  ☆87Updated 14 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆60Updated 9 years ago
• nickdesaulniers / bf_interpreter_jit_compiler
  Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language
  ☆85Updated 3 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• wiredsister / free-software-computer-science-graphics
  A free software repository of infographics and visualizations for understanding Computer Science ideas
  ☆22Updated 6 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆20Updated 3 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated 2 months ago
• hellerve / ptolemy
  My reading list
  ☆82Updated 2 years ago
• worrydream / EarlyHistoryOfSmalltalk
  Cleaned-up HTML version of Alan Kay's HOPL paper, "The Early History of Smalltalk"
  ☆218Updated 2 years ago
• IagoAbal / eba
  EBA is a static bug finder for C.
  ☆14Updated 4 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 5 years ago