Alternatives and similar repositories for finally-tagless

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

• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆30Updated 2 years ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆34Updated last year
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 4 years ago
• RustyYato / type-families
  ☆46Updated 4 years ago
• xlambein / syntactic-for
  A syntactic "for" loop Rust macro
  ☆56Updated 2 years ago
• rick-de-water / nonany
  Integer types with customizable niche values
  ☆49Updated 11 months ago
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆19Updated 3 years ago
• jDomantas / internal-iterator
  ☆30Updated last year
• tesuji / rust-oom
  Rust NonEmpty slice
  ☆13Updated 4 years ago
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated last year
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆44Updated 2 years ago
• upsuper / delegate-attr
  Attribute proc-macro to delegate method to a field
  ☆29Updated 2 years ago
• Lokathor / safe_arch
  Exposes arch-specific intrinsics as safe function (via cfg).
  ☆57Updated 2 months ago
• kas-gui / impl-tools
  Helper macros: autoimpl, impl_scope
  ☆68Updated last month
• auxoncorp / tnfilt
  ☆35Updated 3 years ago
• grego / bset
  Fast and compact sets of bytes or ASCII characters
  ☆28Updated 4 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 6 years ago
• samsieber / tco
  ☆18Updated 5 years ago
• matthunz / async-hal
  ☆26Updated 2 years ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆36Updated 2 years ago
• jswrenn / scoped-trace
  ☆24Updated 2 years ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 4 months ago
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆30Updated 2 months ago
• Aandreba / blaze
  A Rustified OpenCL Experience
  ☆46Updated 2 years ago
• jswrenn / typelayout
  An experiment in embedding layout computations in the type system.
  ☆17Updated 6 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆40Updated 4 years ago
• RustyYato / rel-ptr
  ☆31Updated 5 years ago
• JRRudy1 / transient
  Rust crate providing a reimplementation of the `std::Any` trait that supports types with non-`'static` lifetimes.
  ☆40Updated 10 months ago
• jakobhellermann / cargo-watt
  cargo subcommand for building proc-macro crates with web assembly
  ☆34Updated 5 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago