ebfull / nemo

Related projects ⓘ

Alternatives and complementary repositories for nemo

• graydon / z3-rs
  ☆23Updated 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
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• sbstp / tokio-dns
  Asynchronous name resolution utilities for the futures and tokio-core crates.
  ☆19Updated 5 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 7 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 3 years ago
• arienmalec / newtype_macros
  ☆16Updated 8 years ago
• rschulman / rust-ipfs-api
  An API into the IPFS RPC from Rust
  ☆24Updated 7 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆40Updated 5 years ago
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 7 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• kerinin / cfrp-rs
  Concurrent Functional Reactive Programming for Rust
  ☆16Updated 8 years ago
• rozbb / fujisaki-ringsig
  Fujisaki-Suzuki Ring Signatures in Rust
  ☆20Updated 3 years ago
• nham / rust-base58
  A library for converting to/from base-58
  ☆8Updated 6 years ago
• pcwalton / multilist
  Safe, intrusive doubly-linked lists for Rust
  ☆17Updated 9 years ago
• skade / attr
  ☆18Updated 7 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
  ☆41Updated 8 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 years ago
• jsgf / rust-xdr
  Rust XDR interoperability library and codegen
  ☆16Updated 2 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• brson / cargo-crusader
  Test the downstream impact of Rust crate changes before publishing
  ☆58Updated 6 years ago
• franziskuskiefer / rust-hacl-star
  HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
  ☆27Updated 4 years ago
• seb-m / tars
  Data structure containers with protected memory for Rust
  ☆18Updated 9 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago