on-site / fasthatLinks
A faster Java heap analysis tool
☆21Updated 8 years ago
Alternatives and similar repositories for fasthat
Users that are interested in fasthat are comparing it to the libraries listed below
Sorting:
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- Fast Bytecode Analysis☆15Updated 9 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 2 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ☆19Updated 8 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- KITTeL/KoAT☆21Updated 6 years ago
- Programming with LVars, by example☆35Updated 9 years ago
- A termination checker for higher-order rewriting with dependent types☆12Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Python term rewriting☆30Updated 12 years ago
- ☆11Updated 3 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 6 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- ☆23Updated 13 years ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Updated 6 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 4 years ago