Alternatives and similar repositories for tnt:

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

• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 6 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 8 years ago
• sliminality / wasm-trace
  instrumenting wasm binaries to trace function execution
  ☆47Updated 5 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆33Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• tjson / tjson.js
  JavaScript-compatible implementation of Tagged JSON (TJSON), written in TypeScript.
  ☆53Updated 2 years ago
• jeffanddom / manchester
  A multiplayer WebGL game
  ☆10Updated 2 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 6 years ago
• mcfilib / ribimaybe
  Maybe Functor, Applicative and Monad
  ☆30Updated 7 years ago
• mozilla / sandboxed-regexp
  Process untrusted regexes in JavaScript, using the power of Rust!
  ☆39Updated 2 years ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 7 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 4 years ago
• Gozala / dominion
  Library for describing & applying DOM changes (off UI thread)
  ☆17Updated 7 years ago
• isaacs / mutate-fs
  Mutate the Node.js filesystem behavior for tests.
  ☆20Updated 2 years ago
• dominictarr / secret-handshake-paper
  ☆37Updated last year
• kennytm / omgwtf8
  Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit
  ☆37Updated 7 years ago
• Floobits / node-fleece
  Node.js/io.js module. Fetch and describe URLs (Tweets, GitHub repos, YouTube videos, etc). Useful for IRC bots.
  ☆9Updated 6 years ago
• package-community / discussions
  GitHub-based discussions about package management, questions, answers, announcements
  ☆53Updated 7 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 10 months ago
• ashleygwilliams / changes-stream-rust
  a changes stream for couchdb style APIs - written in Rust
  ☆27Updated 8 months ago
• marijnh / distfs
  Mount a directory of ES6 code as a FUSE directory of babel-compiled output
  ☆40Updated 8 years ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆17Updated 3 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 4 years ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆66Updated 4 years ago
• leebyron / mocha-check
  Generative property testing for Mocha
  ☆17Updated 7 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• kmcallister / launch-code
  Cryptographic signatures for auditing unsafe code in Rust
  ☆54Updated 10 years ago