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
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• richardanaya / no_error
  A simple error library for no_std + no_alloc Rust
  ☆18Updated 5 years ago
• rust-bakery / nom-peg
  PEG parser generator built on top of nom
  ☆70Updated 5 years ago
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆27Updated 3 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated 6 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆43Updated 8 months ago
• CAD97 / pegcel
  A syn targetting PEG parser generator
  ☆20Updated 2 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
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆52Updated 2 years ago
• hotg-ai / cargo-wapm
  A cargo sub-command for publishing Rust crates to the WebAssembly Package Manager.
  ☆8Updated 2 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆20Updated 2 months ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆34Updated last year
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆23Updated 2 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 2 years ago
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆44Updated 2 years ago
• droundy / tinyset
  Compact sets in rust
  ☆57Updated 4 months ago
• CAD97 / sorbus
  An experimental reimplementation of rowan, focused on size efficiency
  ☆25Updated 4 years ago
• jerry73204 / rust-type-freak
  Collection of typed data structures, trait operators and aliases
  ☆51Updated 4 years ago
• RalfJung / rustc-build-sysroot
  Build a rustc sysroot with custom flags
  ☆17Updated 2 weeks ago
• TyberiusPrime / nested_intervals
  nested & overlapping interval set functions, overlap, union, etc (Rust)
  ☆17Updated last year
• TheDan64 / limonite
  [WIP] Compiler for the Limonite programming language.
  ☆14Updated 3 years ago