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
• lachrist / aran
  JavaScript Code Instrumenter
  ☆39Updated 7 months ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆100Updated 2 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆48Updated 2 years ago
• sola-da / ConflictJS
  Finding and Understanding Conflicts Between JavaScript Libraries
  ☆40Updated 3 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆27Updated 8 years ago
• bramstein / junify
  JUnify ― JavaScript Unification Library
  ☆50Updated 13 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆135Updated 12 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 5 years ago
• Swatinem / esgraph
  creates a control flow graph from an esprima abstract syntax tree
  ☆172Updated 8 years ago
• localvoid / vdom-benchmark
  Virtual DOM diff/patch benchmark
  ☆49Updated 10 years ago
• disnet / contracts.js
  Contract library for JavaScript
  ☆148Updated 10 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆205Updated last year
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆67Updated 5 years ago
• mostjs-community / most-dispatch
  A selective multicast operator for Most.js
  ☆14Updated 3 years ago
• mattbierner / bennu
  Javascript Parser Combinator Library
  ☆147Updated 10 years ago
• dyoo / js-numbers
  Javascript implementation of Scheme's numeric tower
  ☆30Updated 12 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• curiosity-driven / prolog-interpreter
  Simple prolog interpreter using ES6 generators
  ☆62Updated 10 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 3 years ago
• mattbierner / khepri
  ECMAScript derived programming language
  ☆68Updated 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
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 3 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 years ago
• gilligan / ramdaconf
  virtual conference about javascript and functional programming
  ☆20Updated 9 years ago
• lkuper / lvar-examples
  Programming with LVars, by example
  ☆36Updated 10 years ago