Alternatives and similar repositories for refinement

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

• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated 2 years ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆39Updated 3 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 10 months ago
• samsieber / tco
  ☆17Updated 5 years ago
• sgodwincs / ordered-multimap-rs
  An ordered multimap.
  ☆21Updated 5 months ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 6 months ago
• Lokathor / bitfrob
  Helps you frob those bits
  ☆37Updated 9 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• droundy / tinyset
  Compact sets in rust
  ☆56Updated 2 months ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆41Updated this week
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆60Updated 4 months ago
• ferrilab / radium
  ☆36Updated 9 months ago
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆29Updated last year
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆33Updated 6 months ago
• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆52Updated 3 years ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆33Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• hkmatsumoto / roogle
  A Rust API search engine
  ☆26Updated 3 years ago
• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated last year
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated 5 months ago
• AndWass / pushgen
  ☆27Updated 2 years ago
• That3Percent / second-stack
  A Rust memory allocator for large slices that don't escape the stack.
  ☆30Updated 2 years ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago