Alternatives and similar repositories for paradox

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

• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 9 years ago
• rsaarelm / nock-rs
  ☆14Updated 9 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 7 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 4 months ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• skade / lazers
  A couchdb client in Rust
  ☆18Updated 7 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• tailhook / ssh-keys
  Parser of ssh public and private keys
  ☆12Updated 5 years ago
• novifinancial / rust-curve25519-fiat
  Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
  ☆12Updated 5 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• graydon / z3-rs
  ☆23Updated 6 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• richardanaya / pig
  A simple PostgreSQL data migration tool
  ☆19Updated 6 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆31Updated 6 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated last year
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• endoli / burst.rs
  A disassembler framework
  ☆18Updated 2 years ago
• justinsheehy / vertree
  a tree. with versions.
  ☆14Updated 7 years ago
• nabijaczleweli / tweetr
  tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…
  ☆18Updated 6 years ago
• contain-rs / blist
  A deque implemented as a hybrid linked-list-of-arrays
  ☆9Updated 10 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 2 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• oppenlander / generator-rust-ffi
  The Rust FFI generator is a yeoman generator for bootstraping Rust libraries that expose Foreign Function Interface bindings for other la…
  ☆12Updated 10 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• gstew5 / snarkl
  ☆59Updated 3 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago