Alternatives and similar repositories for paradox:

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

• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• gandro / cargo-rumpbake
  Baking rumprun images with cargo
  ☆12Updated 9 years ago
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• dalek-cryptography / dalek-rangeproofs
  This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.
  ☆16Updated 6 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• novifinancial / rust-curve25519-fiat
  Rust bindings to formally-proven field arithmetic operations from MIT's fiat-crypto project
  ☆12Updated 5 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• rot256 / ninn
  An experimental implementation of nQUIC in Rust
  ☆31Updated 6 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• tailhook / ssh-keys
  Parser of ssh public and private keys
  ☆12Updated 5 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 8 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated 2 months ago
• contain-rs / blist
  A deque implemented as a hybrid linked-list-of-arrays
  ☆9Updated 9 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• justinsheehy / vertree
  a tree. with versions.
  ☆13Updated 7 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• ycrypto / nisty
  NIST P-256 signatures for Cortex-M4 microcontrollers
  ☆14Updated 4 years ago
• golemfactory / golem-libp2p
  Golem rust-libp2p integration
  ☆12Updated 5 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 9 years ago
• ChorusOne / dynalock
  A lease based distributed locking library
  ☆11Updated 6 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago