metaborg / strategoxt
The Stratego program transformation language
☆31Updated last week
Alternatives and similar repositories for strategoxt:
Users that are interested in strategoxt are comparing it to the libraries listed below
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Alice ML implementation☆17Updated 2 years ago
- Python term rewriting☆29Updated 12 years ago
- ☆38Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- The Aldor Programming Language☆34Updated 2 months ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- A list of compilers with some metadata.☆12Updated 11 months ago
- ☆34Updated 4 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Guile with tracing JIT VM.☆15Updated 8 years ago
- ☆19Updated 8 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- A simple "columnar database" based on memory-mapped files, written in APL☆33Updated 5 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- ☆12Updated 2 months ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Interactive POetry Editor☆28Updated 3 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month