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
  ☆12Updated 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…
  ☆43Updated 6 months 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
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆11Updated 10 months ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆114Updated 7 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆19Updated last year
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆28Updated this week
• timbertson / gup
  A better make, inspired by djb's redo.
  ☆51Updated 11 months ago
• snorerot13 / grap
  ☆32Updated 3 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 11 months ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆91Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated last year
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆74Updated 2 years ago
• mgree / smoosh
  The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
  ☆118Updated 2 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆19Updated 4 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 4 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• typeswitch-dev / yotta
  ☆57Updated last year
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• John-Nagle / pasv
  The Pascal-F Verifier
  ☆49Updated 8 years ago
• rhaberkorn / gpresent
  Presentation macros for GNU roff (unofficial fork with patches and extensions)
  ☆12Updated 8 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 months ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago