ebfull / nemo

Related projects: ⓘ

• graydon / z3-rs
  ☆23Updated 6 years ago
• plum-umd / adapton.rust
  ☆26Updated this week
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 7 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
• freebroccolo / algebra.rs
  ☆13Updated this week
• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 9 years ago
• valarauca / consistenttime
  Constant Time Operations for Crypto Libraries
  ☆10Updated 7 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆35Updated 3 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆40Updated 5 years ago
• seb-m / tars
  Data structure containers with protected memory for Rust
  ☆18Updated 9 years ago
• canndrew / gnunet-rs
  GNUnet bindings for Rust
  ☆15Updated 6 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
• arienmalec / newtype_macros
  ☆16Updated 8 years ago
• pcwalton / multilist
  Safe, intrusive doubly-linked lists for Rust
  ☆17Updated 9 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• thestinger / rust-gmp
  ☆24Updated this week
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆41Updated 8 years ago
• rsaarelm / nock-rs
  ☆14Updated 8 years ago
• frehberg / rust-bytestool
  Compiler plugin calculating const size of string literal and others
  ☆11Updated 7 years ago
• rsaarelm / urbit-rs
  ☆11Updated 7 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated last year
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• hacspec / rust-secret-integers
  Wrappers around Rust's integer to check for constant-time-compatible usage
  ☆22Updated 4 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• sbstp / tokio-dns
  Asynchronous name resolution utilities for the futures and tokio-core crates.
  ☆19Updated 4 years ago
• brson / cargo-crusader
  Test the downstream impact of Rust crate changes before publishing
  ☆58Updated 6 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year