Alternatives and similar repositories for inari:

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

• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• saethlin / crater-at-home
  We have Crater At Home
  ☆28Updated 3 months ago
• wrnrlr / g3
  Neat 3D math and graphics library
  ☆32Updated last year
• slightlyoutofphase / staticstep
  Provides truly zero-cost alternatives to Iterator::step_by for both incrementing and decrementing any type that satisfies RangeBounds<T: …
  ☆13Updated 3 years ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 7 months ago
• droundy / append-only-vec
  ☆29Updated 4 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 10 months ago
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆43Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 3 years ago
• auxoncorp / tnfilt
  ☆33Updated 2 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• yvt / svgbobdoc
  Rust procedural macro that renders ASCII diagrams in doc comments as SVG images.
  ☆19Updated 2 months ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆22Updated 2 months ago
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆46Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆32Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆87Updated last week
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆19Updated 6 months ago
• dtolnay / threadbound
  Make any value Sync but only available on its original thread
  ☆38Updated last week
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• yaahc / color-anyhow
  ☆20Updated 4 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆76Updated 2 weeks ago
• brurucy / ftree
  A pure-rust(with zero dependencies) fenwick tree, for the efficient computation of dynamic prefix sums.
  ☆16Updated 3 months ago
• kpreid / exhaust
  Exhaustive iteration trait in Rust
  ☆13Updated last month
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆66Updated 8 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆31Updated last week
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• Kestrer / bounded-integer
  Bounded integers for Rust
  ☆29Updated last month