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:
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 8 years ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- a web-based development environment for constructing parsers by example (backend code)☆17Updated 8 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- APL-like functions for use from Lua.☆18Updated 10 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 10 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Updated 7 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- ☆71Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- ☆11Updated 4 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 9 years ago
- ☆19Updated 8 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Updated 3 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 9 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 8 years ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Updated 6 years ago
- An untyped lambda calculus interpreter☆12Updated 2 years ago
- SOM - Simple Object Machine (plain Java implementation)☆19Updated 5 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- SWORD: A Whole Program Race Detector for Java☆13Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago