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 6 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 6 years ago
• jcoglan / kanrens
  Various implementations of microKanren
  ☆20Updated 8 years ago
• mozilla / sandboxed-regexp
  Process untrusted regexes in JavaScript, using the power of Rust!
  ☆39Updated 2 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆32Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• ashleygwilliams / changes-stream-rust
  a changes stream for couchdb style APIs - written in Rust
  ☆27Updated 10 months ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 8 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• dpc / colerr
  Colorize stderr
  ☆16Updated 8 years ago
• bodil / eulalie
  ES6 flavoured parser combinators
  ☆71Updated 7 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• tmzt / isymtope
  Experimental hybrid redux+IncrementalDOM client and server-side rendering in Rust. (Pronounced like isomorphic + asymtope)
  ☆26Updated 6 years ago
• kennytm / omgwtf8
  Optimized-Matching-Generalized Wobbly Transformation Format — 8-bit
  ☆37Updated 7 years ago
• yoshuawuyts / secure-password
  Safe password hashing.
  ☆18Updated 3 years ago
• whs-junkyard / rust-https-redirect
  Fast HTTPS redirector
  ☆20Updated 8 years ago
• marijnh / distfs
  Mount a directory of ES6 code as a FUSE directory of babel-compiled output
  ☆40Updated 8 years ago
• agrafix / elm-react
  React bindings for Elm
  ☆25Updated 9 years ago
• japaric-archived / eighty-six
  x86 bare metal Rust thing
  ☆28Updated 8 years ago
• ecliptic / purescript-npm
  An experimental attempt to bring the PureScript ecosystem to npm
  ☆19Updated 8 years ago
• badboy / hellorust
  Collection of resources & examples for Rust & WebAssembly
  ☆75Updated 6 years ago
• disnet / sweet-interfaces
  An implementation of emcascript interfaces in Sweet.js.
  ☆33Updated 7 years ago
• leostera / hotstuff
  Composable, incremental, turnkey document compiler
  ☆21Updated 4 years ago
• tjson / tjson.js
  JavaScript-compatible implementation of Tagged JSON (TJSON), written in TypeScript.
  ☆53Updated 2 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 4 years ago
• yrashk / serde_fs
  [De]serializing data structures as files
  ☆21Updated 6 years ago
• Enet4 / heel-gun
  Test HTTP servers for robustness to arbitrary requests
  ☆17Updated last year
• joshcox / kanren
  Port of microKanren to JavaScript.
  ☆25Updated 3 years ago