Alternatives and similar repositories for tnt

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

• sliminality / wasm-trace
  instrumenting wasm binaries to trace function execution
  ☆47Updated 5 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 6 years ago
• josephg / jumprope
  Fast string editing in Javascript using skip lists
  ☆90Updated 6 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆96Updated 6 years ago
• package-community / discussions
  GitHub-based discussions about package management, questions, answers, announcements
  ☆53Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• ecliptic / purescript-npm
  An experimental attempt to bring the PureScript ecosystem to npm
  ☆19Updated 7 years ago
• turakuapp / turaku-client
  Web / Electron client application for Turaku
  ☆27Updated 4 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆33Updated 4 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 11 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆71Updated 7 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• dpc / colerr
  Colorize stderr
  ☆16Updated 8 years ago
• chenglou / reason-project-ideas
  ☆40Updated 7 years ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 7 years ago
• marijnh / distfs
  Mount a directory of ES6 code as a FUSE directory of babel-compiled output
  ☆40Updated 8 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• jsdf / lisp.re
  A LISP interpreter written in ReasonML, targeting native and browser environments
  ☆17Updated 6 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 10 months ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆69Updated 3 years ago
• reasonml-community / bs-immutablejs
  Reason + BuckleScript bindings to Immutable.js
  ☆29Updated 6 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• kmcallister / launch-code
  Cryptographic signatures for auditing unsafe code in Rust
  ☆54Updated 10 years ago
• leebyron / mocha-check
  Generative property testing for Mocha
  ☆17Updated 8 years ago
• kuy / reason-of-life
  Conway's Lifegame in Reason + reason-react with webpack + bs-loader.
  ☆27Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago