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
  ☆11Updated last year
• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 3 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 13 years ago
• darius / tailbiter
  Self-compiling compiler of a Python subset. Just enough Python to Python in Python.
  ☆46Updated 2 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 5 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆74Updated last year
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated 10 months ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated this week
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆16Updated last year
• 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…
  ☆40Updated 3 weeks ago
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆103Updated 5 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆14Updated 6 years ago
• prolog8 / awkprolog
  Prolog in AWK
  ☆16Updated 7 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• padsproj / pads
  Pads format description language
  ☆21Updated 9 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• ciao-lang / ciaopp
  The Ciao Preprocessor
  ☆11Updated 3 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 9 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆40Updated 3 years ago
• fnogatz / dcg4pt
  Extend Definite Clause Grammars for Prolog by the corresponding parse tree
  ☆11Updated 2 years ago
• vscosta / yap
  ☆50Updated this week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆104Updated 3 years ago
• nopsys / nopsys
  No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform
  ☆29Updated 6 years ago
• AppliedLogicSystems / ALSProlog
  ALS Prolog Compiler & Development Environment
  ☆16Updated 7 months ago