Alternatives and similar repositories for alloy

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

• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆116Updated last year
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆113Updated last week
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆66Updated 2 months ago
• jkaye2012 / refined
  Simple refinement types for Rust; parse, don't validate!
  ☆74Updated 2 weeks ago
• nwtgck / stacklover-rust
  Zero-cost type for stack without complicated type or Box
  ☆45Updated 3 months ago
• nikomatsakis / babysteps
  Babysteps blog
  ☆36Updated last month
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆63Updated 3 months ago
• khonsulabs / pot
  A concise, self-describing binary format written in Rust for Serde
  ☆66Updated last year
• Cydhra / vers
  Succinct data structures using very efficient rank and select
  ☆125Updated 2 months ago
• nikis05 / derive-visitor
  ☆40Updated last year
• QnnOkabayashi / tracing-forest
  ☆74Updated 3 weeks ago
• dtolnay / typeid
  Const TypeId and non-'static TypeId
  ☆67Updated last week
• danielhenrymantilla / nougat.rs
  (lifetime) GATs on stable Rust
  ☆59Updated last year
• ibraheemdev / boxcar
  A concurrent, append-only vector.
  ☆195Updated 3 weeks ago
• rodrimati1992 / konst
  Const equivalents of std functions, compile-time comparison, and parsing.
  ☆105Updated 2 weeks ago
• kamirr / math-jit
  ☆35Updated 7 months ago
• H2CO3 / parsel
  Generate parsers directly from AST node types
  ☆85Updated last year
• magiclen / educe
  This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.
  ☆149Updated 3 weeks ago
• rosetta-rs / parse-rosetta-rs
  Comparing parser APIs
  ☆137Updated this week
• danielhenrymantilla / lending-iterator.rs
  Lending iterators on stable Rust
  ☆83Updated last year
• bluurryy / bump-scope
  A fast bump allocator that supports allocation scopes / checkpoints. Aka an arena for values of arbitrary types.
  ☆38Updated this week
• EricLBuehler / trc
  A faster Arc.
  ☆74Updated last year
• willcrichton / indexical
  Human-friendly indexed collections
  ☆54Updated 3 months ago
• brurucy / indexset
  A pure-Rust two-level dynamic b-tree. This crate implements a compact set data structure that preserves its elements' sorted order and a…
  ☆100Updated last month
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆49Updated last year
• udoprog / bittle
  Zero-cost bitsets over native Rust types
  ☆78Updated 5 months ago
• zommiommy / mem_dbg-rs
  A trait + derive to recursively compute / print the memory usage of a data structure.
  ☆33Updated 6 months ago
• fuzzypixelz / absolut
  Autogenerated Bytewise SIMD-Optimized Look-Up Tables
  ☆35Updated last year
• de-vri-es / assert2-rs
  assert!() and check!() macros for Rust, inspired by Catch2, now with diffs!
  ☆109Updated 2 weeks ago