kurtschelfthout / finally-tagless

Related projects ⓘ

Alternatives and complementary repositories for finally-tagless

• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆24Updated last year
• samsieber / tco
  ☆16Updated 4 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• ahirner / backtrack-rs
  Solve hard constraints easily with Rust.
  ☆15Updated 2 years ago
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆18Updated 2 years ago
• jswrenn / scoped-trace
  ☆23Updated last year
• upsuper / delegate-attr
  Attribute proc-macro to delegate method to a field
  ☆28Updated last year
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 3 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• yoshuawuyts / async-iterator
  An async version of iterator
  ☆37Updated 5 months ago
• Skepfyr / DiplomaticBag
  A rust library to hide types inside a diplomatic bag which can be sent between threads freely
  ☆14Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• chuckcscccl / rustlr
  LR-style Parser Generator
  ☆17Updated last month
• yoshuawuyts / parallel-future
  structured parallel execution for async Rust
  ☆30Updated 3 months ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated last month
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆37Updated 5 months ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated last year
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆15Updated 3 months ago
• Xaeroxe / platform
  Repo for the Rust `platform` crate.
  ☆22Updated 5 years ago
• dignifiedquire / pin-cell
  pin-safe interior mutability
  ☆14Updated 2 years ago
• nikis05 / derive-visitor
  ☆25Updated 5 months ago
• cessen / str_indices
  Count and convert between various ways of indexing utf8 string slices.
  ☆16Updated 3 weeks ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated last week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 2 years ago
• willcrichton / types-over-strings
  ☆12Updated 4 years ago
• paulchernoch / quantogram
  Approximate Quantiles with Configurable Worst Case Error
  ☆15Updated 2 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago