Berkeley-Correctness-Group / JITProfLinks
Analyses repository for Jalangi2
☆14Updated 8 years ago
Alternatives and similar repositories for JITProf
Users that are interested in JITProf are comparing it to the libraries listed below
Sorting:
- creates a control flow graph from an esprima abstract syntax tree☆171Updated 7 years ago
- Semantics for ES5☆82Updated 9 years ago
- Virtual DOM diff/patch benchmark☆49Updated 10 years ago
- reducer for the Shift AST format☆24Updated 3 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Updated 5 years ago
- a web-based development environment for constructing parsers by example (backend code)☆18Updated 8 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- Generic static analysis framework☆22Updated 2 years ago
- An Efficient JavaScript Unification Library☆19Updated 10 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 5 years ago
- JavaScript Code Instrumenter☆38Updated 4 months ago
- Type Analyzer for JavaScript☆197Updated 7 months ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Lean ported to Javascript with Emscripten☆27Updated 8 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆47Updated 2 years ago
- Javascript AST to CFG converter☆20Updated 9 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- Finite domain constraint programming library in JS☆62Updated 3 years ago
- NO LONGER IN DEVELOPMENT☆27Updated 9 years ago
- ☆89Updated 7 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- ☆33Updated 10 years ago
- Composable, immutable getters and setters.☆109Updated 9 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- ☆53Updated 4 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 9 years ago
- Higher-Order Contracts for JavaScript☆14Updated 8 years ago
- A selective multicast operator for Most.js☆14Updated 2 years ago
- KJS: A Complete Formal Semantics of JavaScript☆90Updated 8 years ago