Alternatives and similar repositories for JITProf:

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

• lachrist / aran
  JavaScript Code Instrumenter
  ☆38Updated last week
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 3 years ago
• brownplt / LambdaS5
  Semantics for ES5
  ☆81Updated 9 years ago
• Widdershin / stream-tree
  stream-tree is a way to write functions as ASCII flowcharts in JavaScript.
  ☆27Updated 8 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• keil / TreatJS
  Higher-Order Contracts for JavaScript
  ☆14Updated 8 years ago
• pvdz / heatfiler
  A JS profiler and code coverage tool that displays the result in a (live updating) heatmap
  ☆37Updated 5 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• localvoid / vdom-benchmark
  Virtual DOM diff/patch benchmark
  ☆48Updated 10 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆43Updated 4 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• pschanely / wildflower
  Minimalistic, functional, JSON-formatted programming language
  ☆20Updated 8 years ago
• mostjs-community / most-dispatch
  A selective multicast operator for Most.js
  ☆14Updated 2 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• briancavalier / most-behave
  Experimental continuous Behaviors for most.js
  ☆32Updated 5 years ago
• noahvanes / slip.js
  A Scheme interpreter in asm.js
  ☆15Updated 7 years ago
• bodil / graham
  Parser combinators for JS
  ☆13Updated 9 years ago
• shapesecurity / shift-ast-js
  constructors for Shift format AST nodes
  ☆27Updated 3 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 4 years ago
• ldthomas / apg-js2
  Deprecated. Use the updated version, apg-js, instead. JavaScript APG Version 2.0. APG is an ABNF Parser Generator. It generates recursive…
  ☆33Updated 4 years ago
• jldupont / prolog.js
  prolog interpreter in javascript
  ☆82Updated 8 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• Swatinem / esgraph
  creates a control flow graph from an esprima abstract syntax tree
  ☆170Updated 7 years ago
• fantasyland / fantasy-lenses
  Composable, immutable getters and setters.
  ☆109Updated 9 years ago
• mostjs / hold
  Deliver the most recently seen event to new observers
  ☆30Updated 2 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• michaelficarra / everything.js
  a single javascript file that contains every ECMA-262 grammatical production
  ☆129Updated 9 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 11 years ago