Alternatives and similar repositories for papers:

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

• nikomatsakis / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆41Updated 10 years ago
• serde-deprecated / quasi
  No longer maintained
  ☆38Updated 7 years ago
• nrc / callgraph.rs
  Callgraphs for Rust programs
  ☆32Updated 9 years ago
• smowton / llpe
  ☆49Updated last year
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• luser / rust-debugger-tools-info
  ☆29Updated 6 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 10 years ago
• huonw / llvmint
  ☆25Updated 9 years ago
• LivingInSyn / Rust_Api_Generator
  a toolset for autogenerating rust APIs and translating structs
  ☆25Updated 6 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• m4b / cargo-sym
  Prints various binary symbols in your crate
  ☆13Updated 7 years ago
• nikomatsakis / nll-rfc
  Non-lexical lifetimes RFC.
  ☆48Updated 6 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 4 years ago
• cuplv / adapton-lab.rust
  Adapton Lab, written in Rust.
  ☆15Updated 5 years ago
• mayah / x86intrin
  x86 intrinsics for rust
  ☆40Updated 7 years ago
• klutzy / nadeko
  [INACTIVE] const-time Rust experiment
  ☆98Updated 9 years ago
• smoltcp-rs / rust-managed
  A library that provides a way to logically own objects, whether or not heap allocation is available
  ☆67Updated 8 months ago
• frankmcsherry / datafrog
  A lightweight Datalog engine in Rust
  ☆57Updated 6 years ago
• ballard26 / concurrent-hamt
  ☆79Updated 8 years ago
• DanSimon / peruse
  A parser-combinator library for Rust
  ☆45Updated 9 years ago
• Gankra / collect-rs
  Miscellaneous Collections
  ☆64Updated 9 years ago
• thehydroimpulse / jiter
  Jit + Rust + Memory
  ☆19Updated 10 years ago
• rust-lang / rust-memory-model
  Collecting examples and information to help design a memory model for Rust.
  ☆126Updated 5 years ago
• aturon / rfcs
  RFCs for changes to Rust
  ☆59Updated 6 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆94Updated 8 years ago
• asajeffrey / josephine
  JS affine
  ☆66Updated 4 years ago
• eholk / RustGPU
  ☆83Updated 12 years ago
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• BurntSushi / rust-cbor
  CBOR (binary JSON) for Rust with automatic type based decoding and encoding.
  ☆137Updated 6 years ago
• arthurprs / burst-trie
  Implements a Rust ordered map as a BurstTrie.
  ☆30Updated 7 years ago