Alternatives and similar repositories for refinement:

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

• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• samsieber / tco
  ☆17Updated 4 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆39Updated 2 months ago
• kurtschelfthout / finally-tagless
  ☆16Updated last year
• zzau13 / v_escape
  The simd optimized escape code
  ☆53Updated last week
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 9 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆60Updated 3 months ago
• nikis05 / derive-visitor
  ☆31Updated 10 months ago
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆42Updated 10 months ago
• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆34Updated 2 years ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated 2 years ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• chuckcscccl / rustlr
  LR-style Parser Generator
  ☆19Updated 3 weeks ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• sgodwincs / ordered-multimap-rs
  An ordered multimap.
  ☆20Updated 5 months ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆30Updated 6 months ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 6 years ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆29Updated 3 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆25Updated 5 months ago
• matklad / jthread-rs
  ☆15Updated 5 years ago
• hotg-ai / cargo-wapm
  A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.
  ☆8Updated 2 years ago
• RustyYato / type-families
  ☆45Updated 4 years ago
• nextest-rs / datatest-stable
  Data-driven tests on stable Rust
  ☆39Updated this week
• graydon / concorde
  ☆27Updated 4 years ago