MichaelPaddon / epsilon
epsilon is a scanner generator
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for epsilon
- 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 9 months ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 3 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆35Updated 7 months ago
- A Datalog Framework for Python☆11Updated last year
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated last year
- Debugger in the Trepan family for x-python☆17Updated 2 weeks ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Updated 13 years ago
- 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
- Yet another PEG parser combinator library and DSL☆57Updated last year
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆101Updated 2 months ago
- Elastic Binary Trees☆20Updated 10 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 5 months ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- Prepared statement support for the system command☆29Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- The Ciao Preprocessor☆11Updated last week
- A pure-Python module that implements an LR(1) parser generator, as well as CFSM and GLR parser drivers.☆49Updated 2 months ago
- ☆17Updated 3 years ago
- Python bindings for libgccjit.so☆48Updated 9 years ago
- A PEG that compiles itself.☆73Updated 14 years ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- A practical interface generator for data formats.☆127Updated 4 years ago
- Markup source code showing optimizations☆35Updated 4 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago