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
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• zooko / hash-function-survey
  a web page / paper
  ☆18Updated 8 years ago
• sdiehl / double-ratchet
  Double ratchet algorithm for E2E encryption
  ☆59Updated 6 years ago
• ebfull / nemo
  Session types for asynchronous networking
  ☆20Updated 9 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
• kushti / flp
  Formalization of FLP Impossibility Theorem
  ☆18Updated 9 years ago
• cryptouri / cryptouri.rs
  Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding
  ☆36Updated last year
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• statebox / bcfwm
  Blockchain Technology for the Working Mathematician
  ☆24Updated 7 years ago
• sile / plumtree
  A Rust implementation of Plumtree algorithm
  ☆29Updated last month
• richardanaya / pig
  A simple PostgreSQL data migration tool
  ☆19Updated 6 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• trailofbits / indurative
  Easily create authenticated data structures
  ☆43Updated last year
• GaloisInc / rustwall
  Rust firewall for seL4
  ☆10Updated 6 years ago
• ChorusOne / dynalock
  A lease based distributed locking library
  ☆11Updated 6 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 5 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• GaloisInc / ec2-unikernel
  Tool for uploading unikernels into EC2
  ☆76Updated 6 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• fsestini / tt-in-cubical
  Type Theory in Type Theory using Cubical Agda
  ☆12Updated 6 years ago
• multiformats / haskell-multihash
  Multihash Haskell implementation
  ☆27Updated last year
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 9 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago