Berkeley-Correctness-Group / JITProf
Analyses repository for Jalangi2
☆14Updated 7 years ago
Alternatives and similar repositories for JITProf:
Users that are interested in JITProf are comparing it to the libraries listed below
- JavaScript Code Instrumenter☆37Updated this week
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Updated 4 years ago
- Runtime checker for JS coding practices☆35Updated 2 years ago
- creates a control flow graph from an esprima abstract syntax tree☆170Updated 7 years ago
- reducer for the Shift AST format☆24Updated 2 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Generic static analysis framework☆22Updated 2 years ago
- JUnify ― JavaScript Unification Library☆50Updated 12 years ago
- Type Analyzer for JavaScript☆194Updated 4 years ago
- An Efficient JavaScript Unification Library☆19Updated 9 years ago
- Automatic differentiation in JavaScript☆15Updated 13 years ago
- Virtual DOM diff/patch benchmark☆48Updated 9 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 11 years ago
- A template string tag for generating template string tags.☆65Updated 4 years ago
- A template language for incremental-dom or DSL for javascript views☆20Updated 6 years ago
- virtual conference about javascript and functional programming☆20Updated 8 years ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆122Updated 9 years ago
- Shell developed with LiveScript☆26Updated 9 years ago
- Deliver the most recently seen event to new observers☆30Updated 2 years ago
- JavaScript instrumentation library for collecting traces☆110Updated 8 years ago
- Clafer is a lightweight modeling language☆45Updated last year
- Javascript AST to CFG converter☆20Updated 8 years ago
- Jasmine-style expect syntax for nodejs + browser☆30Updated last year
- A selective multicast operator for Most.js☆14Updated 2 years ago
- Compilation script and wrapper for Z3 compiled through Emscripten☆12Updated 8 years ago
- Semantics for ES5☆81Updated 9 years ago
- Finite domain constraint programming library in JS☆62Updated 2 years ago
- A drop-in replacement for `assert` with a better default message.☆32Updated 6 years ago
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆112Updated this week