MichaelPaddon / epsilon
epsilon is a scanner generator
☆21Updated 2 years ago
Alternatives and similar repositories for epsilon:
Users that are interested in epsilon are comparing it to the libraries listed below
- Yet another PEG parser combinator library and DSL☆56Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- 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 2 weeks ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Debugger in the Trepan family for x-python☆16Updated last month
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated last year
- Noncanonical (but only existing) repo for the pijnu PEG parser☆24Updated 13 years ago
- Python AST interpreter (aka tree-walking interpreter) in Python. Aka meta-circular interpreter.☆15Updated 4 years ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆30Updated 4 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆36Updated 9 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 7 months ago
- A Datalog Framework for Python☆11Updated last year
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆117Updated last year
- A virtual machine for Monte.☆66Updated 8 months ago
- Parse protocols, without any I/O☆46Updated 7 years ago
- Execute and document benchmarks reproducibly.☆85Updated this week
- Clade is a tool for extracting information about software build process and source code☆20Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- ☆17Updated 4 years ago
- Filetree code for the Mist project (mist-project.org)☆32Updated 8 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- A library for tracking program state☆15Updated 8 years ago
- Programmable, human-readable inlining of Python code☆29Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Partial evaluation of Python code☆20Updated last year
- A better make, inspired by djb's redo.☆51Updated 4 months ago