jcoglan / tnt

Related projects ⓘ

Alternatives and complementary repositories for tnt

• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 6 years ago
• indutny / tokio-lock
  Access an object from a single Tokio task
  ☆13Updated 5 years ago
• pipcet / binutils-gdb
  GDB is the GNU debugger. Forked from bminor's mirror.
  ☆17Updated 2 years ago
• sliminality / wasm-trace
  instrumenting wasm binaries to trace function execution
  ☆47Updated 5 years ago
• yoshuawuyts / secure-password
  Safe password hashing.
  ☆18Updated 3 years ago
• uniphil / results
  Discriminated Unions including Maybe (an option type) and Result for javascript with fewer bugs
  ☆33Updated 3 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 3 years ago
• zkat / srisum
  Compute and check Subresource Integrity digests.
  ☆11Updated 6 years ago
• mozilla / sandboxed-regexp
  Process untrusted regexes in JavaScript, using the power of Rust!
  ☆38Updated last year
• ashleygwilliams / changes-stream-rust
  a changes stream for couchdb style APIs - written in Rust
  ☆27Updated 3 months ago
• dherman / wc-demo
  A simple word-counting demo to showcase Neon.
  ☆31Updated 7 years ago
• mraleph / moe-js
  Automatically exported from code.google.com/p/moe-js
  ☆27Updated 9 years ago
• zkat / ssri-rs
  Rusty implementation of Subresource Integrity
  ☆38Updated 5 months ago
• erights / quasiParserGenerator
  A template string tag for generating template string tags.
  ☆65Updated 4 years ago
• wasm-tool / rust-plugin
  Rust plugin for Webpack
  ☆13Updated 6 years ago
• mild-times / webmanifest
  Create a webmanifest file
  ☆19Updated 4 years ago
• ballercat / wasm-types
  WebAssembly Types
  ☆17Updated 7 years ago
• nucleus-js / rustyduk
  An implementation of nucleus-js using duktape and libuv implemented in rust
  ☆25Updated 8 years ago
• package-community / discussions
  GitHub-based discussions about package management, questions, answers, announcements
  ☆53Updated 7 years ago
• Gozala / dominion
  Library for describing & applying DOM changes (off UI thread)
  ☆19Updated 7 years ago
• turakuapp / turaku-client
  Web / Electron client application for Turaku
  ☆27Updated 4 years ago
• jordwalke / esy-issues
  Easy ISSUES
  ☆49Updated 7 years ago
• sparkles-web / sparkles
  ✨ is a web "framework" in Rust
  ☆46Updated 6 years ago
• pipedown / node-noise
  Noise Search for Node.js
  ☆38Updated 2 years ago
• hackergrrl / exrot
  Snap webcam photos from the command line.
  ☆21Updated 4 years ago
• signet-org / signet-python
  A decentralized code signing network
  ☆23Updated 8 years ago