smarr / selfopt-interp-performance
A reporting project on the performance of self-optimizing interpreters
☆16Updated 9 years ago
Alternatives and similar repositories for selfopt-interp-performance:
Users that are interested in selfopt-interp-performance are comparing it to the libraries listed below
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- Hornet, a JVM optimized for low-latency applications.☆53Updated 9 years ago
- ☆14Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 10 months ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆56Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆33Updated last month
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Updated 14 years ago
- Convert Java bytecode to firm IR☆18Updated 7 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- Parallel boolean circuit evaluation☆20Updated 6 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated this week
- Lock-free multithreaded memory allocation☆105Updated 8 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 10 years ago
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- Automatically exported from code.google.com/p/libhhash☆32Updated 9 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- finding set bits in large bitmaps☆15Updated 9 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- Java Software Transactional Memory☆57Updated 4 years ago
- Fast algorithms for computing XX^T for binary matrices☆14Updated 5 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆24Updated this week
- Multiplying... backward?☆13Updated 4 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆14Updated 2 years ago
- Cover: a safe subset of C++ on the JVM using Graal/Truffle☆19Updated 8 years ago
- Rubah is a Dynamic Software Updating (DSU) system for Java that works on stock JVMs☆24Updated 9 years ago
- a book about declarative language definition☆23Updated 8 years ago
- Drop-in replacement for java.util.concurrent.ConcurrentSkipList[Map|Set]☆29Updated 14 years ago