ilya-klyuchnikov / faba
Fast Bytecode Analysis
☆15Updated 9 years ago
Alternatives and similar repositories for faba:
Users that are interested in faba are comparing it to the libraries listed below
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Frege Interpreter☆15Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- SML The Living Language☆11Updated 11 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆56Updated 10 years ago
- DEPRECATED☆12Updated 9 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 11 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated 3 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- ☆17Updated 5 years ago
- A simple interpreter featuring a tracing JIT☆15Updated 14 years ago
- Editor for language composition☆58Updated 2 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- ☆11Updated 7 months ago
- a stack-based concatenative virtual machine for implementing highly concurrent languages☆45Updated last year
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 2 months ago
- SPREAD☆19Updated 4 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 10 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago