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
  ☆46Updated 5 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 6 years ago
• sparkles-web / sparkles
  ✨ is a web "framework" in Rust
  ☆46Updated 6 years ago
• cryptosphere / macaroons-rs
  Macaroons: bearer credentials with caveats for distributed authorization
  ☆60Updated 8 years ago
• sinopiaolive / package-manager
  The package manager.
  ☆36Updated last year
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 7 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆19Updated 8 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 4 years ago
• kmcallister / launch-code
  Cryptographic signatures for auditing unsafe code in Rust
  ☆52Updated 10 years ago
• whs-junkyard / rust-https-redirect
  Fast HTTPS redirector
  ☆20Updated 8 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆33Updated 4 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 6 years ago
• dpc / colerr
  Colorize stderr
  ☆16Updated 8 years ago
• ashleygwilliams / rust-emergency-compliment
  teach yourself some rust by making a crabby compliment app
  ☆24Updated 6 years ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 7 years ago
• withoutboats / bpb
  boats's personal barricade
  ☆99Updated 6 years ago
• Yayformee / chess
  Basic Chess Implementation in Rust
  ☆10Updated 9 years ago
• tjson / tjson.js
  JavaScript-compatible implementation of Tagged JSON (TJSON), written in TypeScript.
  ☆53Updated 2 years ago
• killercup / wasm-experiments
  Please don't use this! Check out this instead:
  ☆62Updated 7 years ago
• asajeffrey / parsell
  Parsell: an LL(1) parser combinator library for Rust
  ☆74Updated 4 years ago
• ticki / cyano
  [WIP] Transpile Rust (MIR) to JavaScript.
  ☆76Updated 8 years ago
• ecliptic / purescript-npm
  An experimental attempt to bring the PureScript ecosystem to npm
  ☆19Updated 7 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆111Updated 5 years ago
• Enet4 / heel-gun
  Test HTTP servers for robustness to arbitrary requests
  ☆17Updated last year
• brson / rustle
  Install a Cargo application from source without a preexisting Rust installation
  ☆36Updated 9 years ago
• mozilla / sandboxed-regexp
  Process untrusted regexes in JavaScript, using the power of Rust!
  ☆38Updated last year
• chenglou / reason-project-ideas
  ☆40Updated 6 years ago
• kazcw / comacro
  Rust declarative static analysis with macro-like syntax
  ☆15Updated 6 years ago