metaborg / strategoxtLinks
The Stratego program transformation language
☆35Updated 9 months ago
Alternatives and similar repositories for strategoxt
Users that are interested in strategoxt are comparing it to the libraries listed below
Sorting:
- Execute and document benchmarks reproducibly.☆97Updated 7 months ago
- High fidelity benchmark runner☆91Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago
- ☆34Updated 5 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆107Updated last year
- Partial evaluation of Python code☆22Updated 2 years ago
- A virtual machine for Monte.☆68Updated 3 months ago
- An attribute grammar-based programming language for composable language extensions☆68Updated last month
- ☆19Updated 8 years ago
- A tool for testing C compilers automatically☆21Updated 10 years ago
- Grammar Zoo☆98Updated 7 years ago
- Types for Python☆87Updated 7 years ago
- Software Language Processing Suite☆47Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆28Updated 5 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆51Updated 7 months ago
- A PEG parsing machine with support for incremental parsing.☆96Updated last year
- Intuitionistic Programming Language☆12Updated 12 years ago
- SPARK 2014 repository for the Why3 verification platform.☆35Updated 3 weeks ago
- A small python based build file generator targetting the build system ninja☆45Updated 9 years ago
- Command line editor, C api, readline replacement☆28Updated last year
- A small and compact Python 3 library to enable syntactic macros at importing time☆22Updated 10 years ago
- a fast uniform random tree generator☆31Updated 2 years ago
- The Cubicle model checker☆14Updated 3 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 9 months ago
- A PEG that compiles itself.☆76Updated 15 years ago
- Partial evaluation for Python with syntactic sugar☆36Updated 9 years ago
- SOM - Simple Object Machine☆24Updated 5 months ago
- Continuation Passing C☆114Updated 6 years ago
- The Boomerang Bidirectional Programming Language☆78Updated 2 years ago