guygastineau / rust-trees-that-grow

Related projects: ⓘ

• graydon / exhaustigen-rs
  exhaustive testing library
  ☆57Updated last month
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆34Updated 3 months ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆15Updated last month
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆71Updated last year
• fasterthanlime / pegviz
  PEG trace visualizer
  ☆67Updated 4 months ago
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆46Updated 5 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
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆31Updated this week
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆59Updated 7 months ago
• LyonSyonII / akin
  Rust crate for writing repetitive code easier and faster.
  ☆43Updated last year
• WeirdConstructor / WLambda
  WLambda - Embeddable Scripting Language for Rust
  ☆50Updated 3 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆52Updated last week
• Justice4Joffrey / depends-rs
  ☆57Updated 7 months ago
• zakcutner / rumpsteak
  Session types for asynchronous communication between multiple parties.
  ☆37Updated 2 months ago
• QuineDot / rust-snags
  Gotchas and warts in Rust Lang
  ☆70Updated last year
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated 10 months ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆41Updated last year
• RustyYato / type-families
  ☆43Updated 3 years ago
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆36Updated this week
• hkmatsumoto / roogle
  A Rust API search engine
  ☆24Updated 2 years ago
• playXE / masm-rs
  Macro assembler for Rust
  ☆30Updated 6 months ago
• conradludgate / generic-str
  Annoyed that Rust has many string types? Well it doesn't have to
  ☆41Updated 2 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆18Updated 5 months ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆106Updated 2 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆58Updated 10 months ago
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆55Updated last week
• neysofu / reltester
  Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator
  ☆20Updated last year