lilyyy411 / rust-type-fuckery

Related projects ⓘ

Alternatives and complementary repositories for rust-type-fuckery

• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 7 months ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆21Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆49Updated 10 months ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆66Updated 3 months ago
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆22Updated 2 years ago
• LyonSyonII / akin
  Rust crate for writing repetitive code easier and faster.
  ☆43Updated last year
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 7 months ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆94Updated last year
• Noratrieb / bool-toggle
  ☆11Updated 9 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 7 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆36Updated this week
• Rustin170506 / cargo-information
  https://github.com/rust-lang/cargo/issues/948
  ☆58Updated 3 months ago
• lyphyser / deptypes
  ☆15Updated 9 months ago
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆24Updated this week
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆42Updated last year
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆10Updated 3 years ago
• zesterer / ffd
  Fast Function Dispatch: Improving the performance of Rust's dynamic function calls
  ☆32Updated last month
• fasterthanlime / pegviz
  PEG trace visualizer
  ☆71Updated 6 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆97Updated last week
• ModProg / derive-where
  Attribute proc-macro to simplify deriving standard and other traits with custom generic type bounds.
  ☆60Updated 3 months ago
• graydon / panic-room
  ☆15Updated 4 months ago
• aatifsyed / synsert
  A primitive for writing structural search and replace programs for rust
  ☆31Updated 4 months ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆45Updated 3 weeks ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 4 months ago
• sam0x17 / supertrait
  A Rust crate that uses macro hackery to enable const fn trait items and default associated types on traits in stable Rust.
  ☆27Updated last year
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆68Updated 2 weeks ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆62Updated 5 months ago
• MechanicalOrange5 / definitely-only-once
  ☆15Updated 10 months ago
• uberFoo / dwarf
  dwarf is a typed, interpreted, language that shares syntax with Rust.
  ☆44Updated 3 months ago