Alternatives and similar repositories for nemo:

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

• graydon / z3-rs
  ☆23Updated 6 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆20Updated 5 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 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
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 8 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆41Updated 5 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆42Updated 8 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 7 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆27Updated 5 years ago
• derekelkins / ads
  Authenticated Data Structures
  ☆13Updated 9 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 7 years ago
• brson / cargo-crusader
  Test the downstream impact of Rust crate changes before publishing
  ☆58Updated 6 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• arienmalec / newtype_macros
  ☆16Updated 8 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated last year
• kerinin / cfrp-rs
  Concurrent Functional Reactive Programming for Rust
  ☆16Updated 8 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 4 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• cwgoes / tm-proposer-idris
  Formalization of Tendermint proposer election properties
  ☆15Updated 6 years ago
• dwrensha / gjio
  asynchronous I/O in Rust
  ☆14Updated 8 years ago
• Sgeo / hlist
  Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search
  ☆17Updated 7 years ago
• reem / adamantium
  Functional, Persistent Data Structures in Rust
  ☆50Updated 10 years ago
• kandersen / dpc
  Distributed Protocol Combinators
  ☆13Updated 3 years ago