Alternatives and similar repositories for refinement

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

• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆64Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆31Updated 8 months ago
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆27Updated 3 months ago
• dtolnay / scratch
  Compile-time temporary directory shared by multiple crates and erased by `cargo clean`
  ☆75Updated 3 months ago
• nextest-rs / datatest-stable
  Data-driven tests on stable Rust
  ☆40Updated this week
• nrc / proc-macro-rules
  Macro-rules-style syntax matching for procedural macros
  ☆53Updated last year
• dtolnay / threadbound
  Make any value Sync but only available on its original thread
  ☆39Updated 3 months ago
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆33Updated 8 months ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust
  ☆40Updated 4 months ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆35Updated 8 months ago
• indexmap-rs / equivalent
  Rust traits for key comparison in maps.
  ☆30Updated 4 months ago
• ferrilab / radium
  ☆36Updated 10 months ago
• dtolnay / serde-starlark
  Serde serializer for generating Starlark build targets
  ☆66Updated last month
• Xaeroxe / c-closures-rs
  Rust closures you can transfer over an FFI boundary
  ☆27Updated 4 years ago
• awslabs / cargo-check-external-types
  Static analysis tool for Rust library authors to set and verify which types from other libraries are allowed to be exposed in their publi…
  ☆59Updated 3 weeks ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆67Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 11 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• danielhenrymantilla / lending-iterator.rs
  Lending iterators on stable Rust
  ☆83Updated last year
• jordanisaacs / rustix-uring
  The `io_uring` library for Rust (with Rustix)
  ☆30Updated 2 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆34Updated last year
• fitzgen / associative-cache
  A generic, fixed-size, associative cache
  ☆40Updated 7 months ago
• yihuang / non-empty-vec
  `NonEmpty` library vector for rust
  ☆19Updated 2 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 11 months ago
• EmbarkStudios / cfg-expr
  A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.
  ☆41Updated last month
• thepowersgang / stack_dst-rs
  Stack-allocated DSTs for rust (fixed capacity)
  ☆50Updated last year