laffra / cacophonia
Run Eclipse with bytecode instrumentation to learn about its execution
☆18Updated 3 years ago
Alternatives and similar repositories for cacophonia:
Users that are interested in cacophonia are comparing it to the libraries listed below
- JVM bytecode assembler as REST api☆10Updated last year
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 8 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- small, easy to understand continuations library in java☆17Updated 11 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Materials related to my talk "Pat Helland and Me"☆14Updated 5 years ago
- A spoonful of ADT in your Java.☆49Updated last year
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆16Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 months ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- A Java parser combinator library written with an unmatched feature set.☆125Updated 3 years ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Resumable exceptions and delimited continuations for JVM☆40Updated last month
- Summaries of academic papers☆20Updated 5 years ago
- Exploring techniques for code refactoring with formal verification☆11Updated 3 months ago
- The Omni Programming Language☆34Updated 7 years ago
- The many experiments that have led to Eve in its current form☆65Updated 6 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 3 months ago
- purple: compiling a reflective language☆32Updated 4 months ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- An editor for interactively building natural deduction proofs☆20Updated 6 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Runs Java code without a build system, grabbing dependencies declared in the Java file itself.☆17Updated 9 months ago
- Strange Loop 2018 resources☆50Updated 5 years ago
- An IDE for JavaScript, without the "bad parts".☆30Updated last year
- An exercise in programming language design and implementation.☆20Updated 3 years ago
- Reading schedule and our library of pdfs☆24Updated 5 years ago
- ✂️ Syntax correction in context-free and weakly context-sensitive languages.☆22Updated this week
- ☆21Updated 2 years ago