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
  ☆50Updated 6 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆32Updated 4 years ago
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆166Updated 10 years ago
• TomBebbington / js.rs
  An experimental Javascript parser and just-in-time compiler written in Rust
  ☆139Updated 10 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• dherman / esprit
  A JavaScript parser written in Rust
  ☆343Updated 3 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆72Updated 7 years ago
• petehunt / rust-benchmark
  ☆14Updated 8 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• package-community / discussions
  GitHub-based discussions about package management, questions, answers, announcements
  ☆53Updated 8 years ago
• ELLIOTTCABLE / .gitlabels
  This describes a system for adding metadata to a project’s commit messages.
  ☆25Updated 9 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 8 years ago
• ivanceras / elm-examples
  Elm examples and snippets
  ☆77Updated 9 years ago
• rust-js / rjs
  Rust JavaScript interpreter
  ☆99Updated 10 years ago
• tjson / tjson-spec
  IETF-style specification and test cases for TJSON
  ☆64Updated 8 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• killercup / wasm-experiments
  Please don't use this! Check out this instead:
  ☆62Updated 7 years ago
• reasonml-old / rebel
  ☆123Updated 8 years ago
• turakuapp / turaku-client
  Web / Electron client application for Turaku
  ☆27Updated 5 years ago
• dpc / colerr
  Colorize stderr
  ☆16Updated 9 years ago
• leebyron / mocha-check
  Generative property testing for Mocha
  ☆17Updated 8 years ago
• asajeffrey / josephine
  JS affine
  ☆69Updated 5 years ago
• jordwalke / CommonML
  Simple OCaml Development Workflow on CommonJS
  ☆97Updated 6 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 8 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago