iguana-parser / iguana
prototype parser run-time, back-end for different kinds of parser generators, including rascal.
☆50Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for iguana
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 2 weeks ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Metaprogramming framework for .net☆87Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Editor for language composition☆56Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated this week
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- ☆34Updated 4 years ago
- DEPRECATED☆12Updated 8 years ago
- a book about declarative language definition☆23Updated 8 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 13 years ago
- Strongtalk VM☆100Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- The Whiley Compiler (WyC)☆219Updated last year
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 3 years ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- The Kollos project [ARCHIVED]☆30Updated 2 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- Parse any language you can describe in BNF☆157Updated last year
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- The Slate programming language☆145Updated last year
- Pluggable implementation of Immix garbage collector.☆51Updated 6 years ago
- Kodkod solver for relational logic☆74Updated last year
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- generative programming & verification☆32Updated 3 years ago
- ☆87Updated 2 years ago