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
• samsieber / tco
  ☆17Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 2 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆17Updated 6 months ago
• zzau13 / v_escape
  The simd optimized escape code
  ☆53Updated this week
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆39Updated last month
• nikis05 / derive-visitor
  ☆31Updated 9 months ago
• yihuang / non-empty-vec
  `NonEmpty` library vector for rust
  ☆19Updated 2 years ago
• hotg-ai / cargo-wapm
  A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.
  ☆8Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last week
• Xaeroxe / c-closures-rs
  Rust closures you can transfer over an FFI boundary
  ☆25Updated 4 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• kurtschelfthout / finally-tagless
  ☆16Updated last year
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆59Updated 2 months ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 5 months ago
• droundy / tinyset
  Compact sets in rust
  ☆54Updated 3 weeks ago
• auxoncorp / tnfilt
  ☆33Updated 3 years ago
• jswrenn / scoped-trace
  ☆24Updated last year
• jkelleyrtp / pipette
  A tiny crate mimicking Elixir's pipe operator for Rust without macros.
  ☆36Updated 3 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated 3 weeks ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• tesuji / rust-oom
  Rust NonEmpty slice
  ☆13Updated 3 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 9 years ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆32Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• ferrilab / radium
  ☆36Updated 7 months ago
• dtolnay / threadbound
  Make any value Sync but only available on its original thread
  ☆39Updated 3 weeks ago