NeoCogi / pfds

Related projects ⓘ

Alternatives and complementary repositories for pfds

• advancedresearch / hooo
  Propositional logic with exponentials
  ☆15Updated 3 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆43Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• estokes / immutable-chunkmap
  Fast cache efficient immutable map for rust
  ☆26Updated last month
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• hannobraun / caterpillar
  An experimental project to create an interactive programming language.
  ☆16Updated this week
• guygastineau / rust-trees-that-grow
  Brief implementation of Trees that Grow in Rust
  ☆36Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• RustyYato / type-families
  ☆43Updated 3 years ago
• tesuji / rust-oom
  Rust NonEmpty slice
  ☆13Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• rkyv / ptr_meta
  A radioactive stabilization of the ptr_meta RFC.
  ☆22Updated 2 months ago
• chuckcscccl / rustlr
  LR-style Parser Generator
  ☆17Updated last month
• rust-embedded-community / hash32
  32-bit hashing machinery
  ☆10Updated 6 months ago
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 4 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• matklad / jthread-rs
  ☆15Updated 5 years ago
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• rklaehn / sorted-iter
  Typesafe extensions for sorted iterators, including set and relational operations
  ☆17Updated last year
• TyberiusPrime / nested_intervals
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆15Updated 7 months ago
• nox / rayon_croissant
  <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐
  ☆13Updated 4 years ago
• afnanenayet / hashed-permutation
  An implementation of Kensler's hashed permutation algorithm
  ☆16Updated 2 weeks ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• okready / scratchpad
  A Rust library providing a stack-like memory allocator with double-ended allocation support.
  ☆22Updated 3 years ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated last month
• matklad / miniml
  ☆22Updated 8 years ago