Alternatives and similar repositories for refinement

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

• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆34Updated 7 months ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆63Updated 5 months ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 7 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆27Updated 2 months ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆40Updated 4 months ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆34Updated last year
• upsuper / delegate-attr
  Attribute proc-macro to delegate method to a field
  ☆29Updated last year
• yoshuawuyts / parallel-future
  structured parallel execution for async Rust
  ☆33Updated 9 months ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆65Updated last year
• SabrinaJewson / completion.rs
  Completion futures for Rust
  ☆19Updated 2 years ago
• nrc / provide-any
  Proposed API for type-driven member access
  ☆12Updated 3 years ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 11 months ago
• dtolnay / serde-starlark
  Serde serializer for generating Starlark build targets
  ☆66Updated 2 weeks ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• Lokathor / bitfrob
  Helps you frob those bits
  ☆38Updated 9 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 10 months ago
• nikis05 / derive-visitor
  ☆32Updated 11 months ago
• jordanisaacs / rustix-uring
  The `io_uring` library for Rust (with Rustix)
  ☆28Updated last month
• RustyYato / type-families
  ☆46Updated 4 years ago
• fitzgen / associative-cache
  A generic, fixed-size, associative cache
  ☆40Updated 6 months ago
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆43Updated last year
• dtolnay / scratch
  Compile-time temporary directory shared by multiple crates and erased by `cargo clean`
  ☆75Updated 3 months ago
• dtolnay / threadbound
  Make any value Sync but only available on its original thread
  ☆39Updated 3 months ago
• rust-lang / jobserver-rs
  ☆72Updated 2 months ago
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆30Updated 3 months ago