theotherphil / dip

Related projects ⓘ

Alternatives and complementary repositories for dip

• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆26Updated this week
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆53Updated 6 months ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 4 months ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• CAD97 / sorbus
  An experimental reimplementation of rowan, focused on size efficiency
  ☆24Updated 4 years ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• droundy / tinyset
  Compact sets in rust
  ☆53Updated 2 weeks ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆42Updated 3 years ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆51Updated 2 months ago
• RustyYato / type-families
  ☆43Updated 3 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆32Updated 2 years ago
• nikis05 / derive-visitor
  ☆25Updated 5 months ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆31Updated last year
• sunfishcode / origin-studio
  An alternative `std`-like implementation built on origin
  ☆24Updated last month
• mpdn / schedwalk
  Test futures under all possible polling schedules
  ☆18Updated 2 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• avitex / rust-dangerous
  Rust library for safely and explicitly parsing untrusted data
  ☆51Updated 6 months ago
• artichoke / intaglio
  🗃 UTF-8 string, byte string, and C string interner
  ☆26Updated this week
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• yoshuawuyts / chic
  Pretty parser error reporting.
  ☆33Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆45Updated last year