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
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 8 years ago
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 9 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆42Updated 9 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• arienmalec / newtype_macros
  ☆16Updated 9 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 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
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆42Updated 6 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
• jsanders / rust-bignum
  Bignum bindings for rust backed by GMP
  ☆16Updated 7 years ago
• reem / adamantium
  Functional, Persistent Data Structures in Rust
  ☆50Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆47Updated 8 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• mquandalle / ethereum-rust
  Ethereum client implemented in Rust
  ☆8Updated 10 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 2 years ago
• Boddlnagg / tylar
  Type-Level Arithmetic in Rust
  ☆10Updated 9 years ago
• gilescope / trait_tests
  A compiler plugin to enable tests to be defined upon rust's traits.
  ☆10Updated 5 years ago
• sdiehl / shamir
  Shamir Secret Sharing
  ☆21Updated 5 years ago
• Ericson2314 / rust-papers
  An enrichment of Rust's core language to support more advanced features
  ☆18Updated 8 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• radicle-dev / radicle-surf
  A code browsing library for VCS file systems.
  ☆32Updated 2 years ago
• tomhoule / purescript-waterslide-rs
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Updated 6 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆28Updated 5 years ago
• XAMPPRocky / region_buffer
  A growable array allowing for multiple mutable non-overlapping regions.
  ☆16Updated 6 years ago
• kerinin / cfrp-rs
  Concurrent Functional Reactive Programming for Rust
  ☆16Updated 8 years ago