edmundsmith / type-plugs

Related projects ⓘ

Alternatives and complementary repositories for type-plugs

• RustyYato / type-families
  ☆43Updated 3 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• yaahc / spandoc
  Proc macro for using doc comments as context for errors/logs/profiling/whatever via `tracing`
  ☆46Updated 2 years ago
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆24Updated last year
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆29Updated 7 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• dtolnay / iota
  Related constants in Rust: 1 << iota
  ☆18Updated last year
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated last week
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆53Updated 6 months ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• samsieber / tco
  ☆16Updated 4 years ago
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 4 years ago
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆101Updated 5 years ago
• Manishearth / mitosis
  Spawn processes with arbitrary closures in rust
  ☆108Updated 3 years ago
• kazcw / comacro
  Rust declarative static analysis with macro-like syntax
  ☆16Updated 6 years ago
• CAD97 / pegcel
  A syn targetting PEG parser generator
  ☆20Updated last year
• jerry73204 / rust-type-freak
  Collection of typed data structures, trait operators and aliases
  ☆50Updated 4 years ago
• advancedresearch / linear_solver
  A linear solver designed to be easy to use with Rust enums.
  ☆32Updated 3 years ago
• yoshuawuyts / context-attribute
  Set the error context using doc comments
  ☆53Updated 4 years ago
• droundy / tinyset
  Compact sets in rust
  ☆53Updated this week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• Diggsey / query_interface
  Dynamically query a type-erased object for any trait implementation
  ☆65Updated 2 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 4 months ago
• CAD97 / generativity
  ☆34Updated last year
• fitzgen / scrapmetal
  Scrap Your Rust Boilerplate
  ☆54Updated 7 years ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated 2 years ago
• irrustible / async-oneshot
  A fast, small, full-featured, no-std compatible oneshot channel
  ☆60Updated 11 months ago