usethesource / flybytes
Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
☆16Updated last month
Related projects: ⓘ
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 5 months ago
- ☆10Updated 8 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated 3 weeks ago
- The Melange Language Workbench☆28Updated last year
- Java-based lightweight Prolog virtual machine☆31Updated 2 months ago
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆75Updated 6 years ago
- a book about declarative language definition☆22Updated 8 years ago
- Whole Platform Language Workbench☆27Updated 3 months ago
- just another compiler compiler for Java☆25Updated 7 years ago
- Fast Bytecode Analysis☆15Updated 8 years ago
- ☆18Updated 9 months ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- Software Language Processing Suite☆45Updated 2 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 2 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 9 years ago
- ☆34Updated 3 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 6 years ago
- Datalog that's as easy as ABC.☆47Updated 7 months ago
- Yet another Java based Prolog engine☆30Updated last month
- Software Language Engineering Body of Knowledge☆47Updated 4 years ago
- An educational JS virtual machine based on Eclipse OMR☆45Updated last year
- SOM - Simple Object Machine (plain Java implementation)☆18Updated 3 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 4 months ago
- The Flix Programming Book☆16Updated this week