ilya-klyuchnikov / faba
Fast Bytecode Analysis
☆15Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for faba
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated last week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 2 years ago
- ☆71Updated 4 years ago
- Type checking and logical inference for JetBrains MPS☆31Updated last week
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 3 weeks ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- ☆11Updated 3 months ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆55Updated 9 years ago
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- Memory allocation benchmark☆17Updated 2 years ago
- ☆34Updated 4 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- purple: compiling a reflective language☆29Updated last month
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- SOM - Simple Object Machine (plain Java implementation)☆18Updated 5 months ago
- Modernized Sisal Interpreter☆27Updated 6 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Updated 7 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- SML The Living Language☆11Updated 10 years ago
- Persistent vector performance measurements and analysis☆22Updated 9 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 5 years ago
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago