Alternatives and similar repositories for refinement:

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

• samsieber / tco
  ☆17Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 2 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 7 months ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆38Updated last week
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 3 months ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆59Updated last month
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• jerry73204 / rust-type-freak
  Collection of typed data structures, trait operators and aliases
  ☆51Updated 4 years ago
• tesuji / rust-oom
  Rust NonEmpty slice
  ☆13Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆32Updated 3 years ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 3 years ago
• nikis05 / derive-visitor
  ☆29Updated 8 months ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆46Updated 2 years ago
• upsuper / delegate-attr
  Attribute proc-macro to delegate method to a field
  ☆29Updated last year
• saethlin / crater-at-home
  We have Crater At Home
  ☆28Updated 3 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• graydon / concorde
  ☆27Updated 4 years ago
• droundy / tinyset
  Compact sets in rust
  ☆54Updated 3 months ago
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆17Updated 4 months ago
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆18Updated 2 years ago
• sgodwincs / ordered-multimap-rs
  An ordered multimap.
  ☆20Updated 2 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 10 months ago
• Emerentius / partial_application
  Partial function application macro for Rust
  ☆47Updated 4 years ago
• przygienda / dot-rust
  A library for generating Graphviz DOT language files for graphs.
  ☆74Updated 2 years ago