Alternatives and similar repositories for alloy

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

• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆116Updated last year
• EricLBuehler / trc
  A faster Arc.
  ☆73Updated last year
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• ibraheemdev / boxcar
  A concurrent, append-only vector.
  ☆187Updated last week
• jkaye2012 / refined
  Simple refinement types for Rust; parse, don't validate!
  ☆74Updated last week
• dtolnay / typeid
  Const TypeId and non-'static TypeId
  ☆66Updated 2 months ago
• zakarumych / allocator-api2
  Mirror of Rust's allocator api for use on stable rust
  ☆62Updated 2 months ago
• nwtgck / stacklover-rust
  Zero-cost type for stack without complicated type or Box
  ☆45Updated 2 months ago
• nikis05 / derive-visitor
  ☆40Updated last year
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• rodrimati1992 / konst
  Const equivalents of std functions, compile-time comparison, and parsing.
  ☆102Updated 7 months ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆66Updated last month
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆110Updated last week
• H2CO3 / parsel
  Generate parsers directly from AST node types
  ☆85Updated last year
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated this week
• Actyx / sync_wrapper
  ☆33Updated 8 months ago
• magiclen / educe
  This crate offers procedural macros designed to facilitate the swift implementation of Rust's built-in traits.
  ☆148Updated last year
• rosetta-rs / parse-rosetta-rs
  Comparing parser APIs
  ☆134Updated this week
• Cydhra / vers
  Succinct data structures using very efficient rank and select
  ☆125Updated last month
• BrynCooke / buildstructor
  Derive a builder for your constructors in Rust
  ☆71Updated 5 months ago
• taiki-e / easy-ext
  A lightweight attribute macro for easily writing extension trait pattern.
  ☆80Updated this week
• RReverser / serdebug
  Serde-based replacement for #[derive(Debug)]
  ☆68Updated 10 months ago
• kamirr / math-jit
  ☆35Updated 6 months ago
• fuzzypixelz / absolut
  Autogenerated Bytewise SIMD-Optimized Look-Up Tables
  ☆34Updated last year
• planus-org / planus
  ☆105Updated last week
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆34Updated 5 months ago
• udoprog / bittle
  Zero-cost bitsets over native Rust types
  ☆78Updated 4 months ago
• vigna / epserde-rs
  An ε-copy serialization/deserialization framework for Rust
  ☆152Updated last week
• danielhenrymantilla / lending-iterator.rs
  Lending iterators on stable Rust
  ☆83Updated last year
• henke443 / fast-graph
  A fast, lightweight and extensible implementation of a graph data structure.
  ☆37Updated last year