Marwes / pretty.rs

Related projects ⓘ

Alternatives and complementary repositories for pretty.rs

• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 6 months ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• TOETOE55 / lens-rs
  lens implemented in rust
  ☆110Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆90Updated last month
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆55Updated 10 months ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆104Updated 3 years ago
• rust-lang / gll
  GLL parsing framework.
  ☆138Updated 7 months ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆113Updated last year
• rust-lang / const-eval
  home for proposals in and around compile-time function evaluation
  ☆105Updated last year
• bodil / higher
  Your favourite Haskell type classes for Rust
  ☆218Updated last year
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆63Updated 7 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆284Updated last month
• mystor / synstructure
  Utilities for dealing with substructures within syn macros
  ☆139Updated 3 months ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 2 years ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆88Updated 3 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆42Updated last year
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆322Updated last year
• 8BitMate / reflect
  Compile-time reflection API for developing robust procedural macros (proof of concept)
  ☆129Updated 4 years ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆159Updated last year
• CAD97 / generativity
  ☆34Updated last year
• dtolnay / unicode-ident
  Determine whether characters have the XID_Start or XID_Continue properties
  ☆77Updated last month
• rust-lang / stacker
  Manual segmented stacks for Rust
  ☆286Updated 3 weeks ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• pandaman64 / effective-rust
  ☆149Updated 5 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago