Alternatives and similar repositories for JITProf

Users that are interested in JITProf are comparing it to the libraries listed below

• brownplt / LambdaS5
  Semantics for ES5
  ☆82Updated 10 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆48Updated 2 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• localvoid / vdom-benchmark
  Virtual DOM diff/patch benchmark
  ☆49Updated 11 years ago
• jensnicolay / jipda
  Generic static analysis framework
  ☆22Updated 3 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 7 years ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆40Updated 8 months ago
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 3 years ago
• Swatinem / esgraph
  creates a control flow graph from an esprima abstract syntax tree
  ☆172Updated 8 years ago
• freethenation / unify.js
  An Efficient JavaScript Unification Library
  ☆19Updated 10 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 10 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆21Updated 9 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 5 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated 2 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• jostylr / literate-programming
  Creating programs from Markdown code blocks
  ☆138Updated 4 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 10 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 3 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 10 years ago
• shapesecurity / shift-semantics-java
  an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
  ☆17Updated 5 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 3 years ago
• shapesecurity / shift-spec
  Shift AST Specification
  ☆191Updated 4 years ago
• natefaubion / adt-simple
  Algebraic data types for JavaScript using Sweet.js macros
  ☆94Updated 11 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• mostjs-community / most-dispatch
  A selective multicast operator for Most.js
  ☆14Updated 3 years ago