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
  ☆49Updated 6 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆32Updated 4 years ago
• rust-js / rjs
  Rust JavaScript interpreter
  ☆99Updated 10 years ago
• TomBebbington / js.rs
  An experimental Javascript parser and just-in-time compiler written in Rust
  ☆137Updated 10 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• package-community / discussions
  GitHub-based discussions about package management, questions, answers, announcements
  ☆53Updated 8 years ago
• davidMcneil / the-rusty-web
  Targeting the web with Rust.
  ☆126Updated 6 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆72Updated 7 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• ELLIOTTCABLE / .gitlabels
  This describes a system for adding metadata to a project’s commit messages.
  ☆25Updated 9 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 6 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 12 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆101Updated 9 months ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 8 years ago
• sentient-lang / sentient-lang
  The Sentient Programming Language.
  ☆82Updated 5 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• killercup / wasm-experiments
  Please don't use this! Check out this instead:
  ☆62Updated 7 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
• asajeffrey / josephine
  JS affine
  ☆67Updated 5 years ago
• jorendorff / talks
  Some talks I've given
  ☆91Updated 2 years ago
• sgentle / catenary
  Concatenative programming for Javascript
  ☆105Updated 10 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• mozilla / sandboxed-regexp
  Process untrusted regexes in JavaScript, using the power of Rust!
  ☆40Updated 2 years ago