Alternatives and similar repositories for dip

Users that are interested in dip are comparing it to the libraries listed below

• fmease / tylift
  Lift enum variants to the type-level.
  ☆33Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 10 months ago
• auxoncorp / tnfilt
  ☆34Updated 3 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 11 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 5 years ago
• nikis05 / derive-visitor
  ☆34Updated last year
• bch29 / traitcast
  Cast between dynamic trait objects
  ☆32Updated 5 years ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆34Updated last year
• paholg / peano
  The peano numbers implemented in Rust's type system.
  ☆24Updated 8 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• c410-f3r / mop
  Flexible and modular framework for different NP-Problems with different solvers
  ☆22Updated 4 months ago
• bjorn3 / pretty_backtrace
  Pretty backtraces for rust
  ☆15Updated 3 years ago
• nabijaczleweli / safe-transmute-rs
  A safe-guarded transmute for Rust
  ☆38Updated last year
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 4 years ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated 6 months ago
• MaulingMonkey / jerk
  JERK: Java Embedding Rust Kit
  ☆17Updated 2 years ago
• philipc / findpanics
  Find calls to panic functions in rust executables
  ☆35Updated 3 years ago
• nrc / proc-macro-rules
  Macro-rules-style syntax matching for procedural macros
  ☆53Updated last year
• JoshMcguigan / nerve
  ☆17Updated 5 years ago
• fitzgen / fast-bernoulli
  Efficient sampling with uniform probability
  ☆31Updated 3 years ago
• Lucretiel / cooked-waker
  A trait-based system for creating async Wakers. Because RawWakers are healthier after they've been cooked.
  ☆21Updated 4 years ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 3 years ago
• CAD97 / sorbus
  An experimental reimplementation of rowan, focused on size efficiency
  ☆25Updated 4 years ago
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆34Updated 3 months ago