Alternatives and similar repositories for rugrads

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

• Manishearth / humpty_dumpty
  Implicit Drop/move protection for Rust (linear types)
  ☆12Updated 10 years ago
• nikomatsakis / rusty-peg
  ☆17Updated 10 years ago
• fizyk20 / differential-geometry
  A Rust crate for differential-geometric calculations.
  ☆39Updated 6 years ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 8 months ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆30Updated 9 years ago
• paulkernfeld / rustdoc-katex-demo
  This crate demonstrates an approach to including KaTeX in Rust docs
  ☆29Updated 7 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• fff-rs / coaster
  Extendable HPC-Framework for CUDA, OpenCL and common CPU
  ☆86Updated 6 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 8 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆33Updated 4 years ago
• bluss / permutohedron
  ☆40Updated last year
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 9 years ago
• fitzgen / scrapmetal
  Scrap Your Rust Boilerplate
  ☆56Updated 8 years ago
• codahale / pcg.rs
  A Rust implementation of the PCG PRNG.
  ☆24Updated 8 years ago
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆104Updated 6 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 6 years ago
• dignifiedquire / pin-cell
  pin-safe interior mutability
  ☆14Updated 3 years ago
• advancedresearch / monotonic_solver
  A monotonic solver designed to be easy to use with Rust enum expressions
  ☆48Updated 4 years ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated 10 months ago
• rust-bakery / nom-peg
  PEG parser generator built on top of nom
  ☆70Updated 6 years ago
• huonw / llvmint
  ☆27Updated 10 years ago
• bsteinb / accurate
  (More or less) accurate floating point algorithms
  ☆57Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Updated 9 months ago
• contain-rs / enum-set
  A structure for holding a set of enum variants
  ☆19Updated 6 years ago
• advancedresearch / tree_mem_sort
  An in-memory topological sort algorithm for trees based on Group Theory
  ☆23Updated 4 years ago
• huonw / ieee754
  Low-level manipulations of IEEE754 floating-point numbers.
  ☆31Updated 2 years ago
• Kixunil / fast_fmt
  Faster, more flexible and more correct alternative to core::fmt
  ☆40Updated 5 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 8 years ago