Alternatives and similar repositories for epsilon

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

• timbertson / gup
  A better make, inspired by djb's redo.
  ☆51Updated last year
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 3 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆76Updated 15 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆15Updated 2 years ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆38Updated 3 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆28Updated 3 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆20Updated 5 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• breckinloggins / vau
  A programming language
  ☆14Updated 11 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• cisco / systemf
  Prepared statement support for the system command
  ☆29Updated 5 years ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆27Updated last year
• typeswitch-dev / yotta
  ☆60Updated last year
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated 2 years ago
• Bystroushaak / tinySelf
  Self-like language implemented in the RPython language toolkit.
  ☆31Updated 4 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆51Updated 8 years ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆54Updated 3 months ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆66Updated last week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆74Updated 5 months ago