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
Sorting:
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- ☆11Updated 2 weeks ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 3 months ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- SML The Living Language☆11Updated 11 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 6 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- Frege Interpreter☆15Updated 4 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- The Déjà Vu programming language☆15Updated 10 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- purple: compiling a reflective language☆32Updated 7 months ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Clojure program to exhaustively search for optimal Java programs☆20Updated 12 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- The Alms Programming Language☆44Updated 6 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆26Updated 2 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago