Alternatives and similar repositories for epsilon

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

• philzook58 / snakelog
  A Datalog Framework for Python
  ☆15Updated 2 years ago
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated 2 years ago
• binpash / libdash
  The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…
  ☆46Updated 9 months ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆68Updated 2 weeks ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆116Updated 7 years ago
• rubenvannieuwpoort / reals
  A lightweight python3 library for arithmetic with real numbers.
  ☆66Updated last week
• kragen / peg-bootstrap
  A PEG that compiles itself.
  ☆75Updated 15 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆28Updated 2 months ago
• a-nikolaev / study-in-scarlet
  A simple Unix-friendly toolkit for plagiarism detection.
  ☆19Updated 5 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆50Updated 8 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆96Updated 4 months ago
• timbertson / gup
  A better make, inspired by djb's redo.
  ☆50Updated last year
• arnoldrobbins / texiwebjr
  The TexiWeb Jr. super simple literate programming system
  ☆25Updated last year
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆45Updated 2 years ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆198Updated last year
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆48Updated 3 weeks ago
• GrammaTech / resolve
  Resolve software differencing and merging
  ☆38Updated 3 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated last year
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• typeswitch-dev / yotta
  ☆57Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated last month
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago