Alternatives and similar repositories for finally-tagless

Users that are interested in finally-tagless are comparing it to the libraries listed below

• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 4 years ago
• samsieber / tco
  ☆18Updated 5 years ago
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆29Updated 2 years ago
• RustyYato / type-families
  ☆46Updated 4 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated 8 months ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• Emerentius / partial_application
  Partial function application macro for Rust
  ☆47Updated 4 years ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 4 years ago
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆21Updated 11 months ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• tesuji / rust-oom
  Rust NonEmpty slice
  ☆13Updated 4 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• yoshuawuyts / async-iterator
  An async version of iterator
  ☆40Updated last year
• jswrenn / scoped-trace
  ☆24Updated 2 years ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆65Updated last month
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆19Updated 2 years ago
• jswrenn / typelayout
  An experiment in embedding layout computations in the type system.
  ☆17Updated 5 years ago
• RustyYato / rel-ptr
  ☆31Updated 5 years ago
• DanielKeep / strcursor
  ☆20Updated 8 years ago
• nikomatsakis / babysteps
  Babysteps blog
  ☆36Updated this week
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆31Updated 9 months ago
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆44Updated 2 years ago
• jerry73204 / rust-type-freak
  Collection of typed data structures, trait operators and aliases
  ☆51Updated 4 years ago
• nikis05 / derive-visitor
  ☆36Updated last year
• grego / bset
  Fast and compact sets of bytes or ASCII characters
  ☆28Updated 4 years ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆34Updated last year
• TedDriggs / from_variants
  A rust proc-macro to generate conversions for an enum of newtype variants
  ☆28Updated 2 years ago
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆50Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• danielhenrymantilla / stackbox.rs
  `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)
  ☆23Updated 11 months ago