Alternatives and similar repositories for rust-type-fuckery

Users that are interested in rust-type-fuckery are comparing it to the libraries listed below

• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 7 months ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆110Updated last year
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆32Updated last month
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆58Updated 2 months ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆78Updated this week
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆186Updated 2 months ago
• lyphyser / deptypes
  ☆17Updated last year
• fasterthanlime / free-of-syn
  What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
  ☆123Updated 2 weeks ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated last month
• rust-community-discord / ferrisbot-for-discord
  Rust programming language bot for Discord
  ☆44Updated 2 months ago
• playXE / masm-rs
  Macro assembler for Rust
  ☆36Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• Vanille-N / tree-beamer
  Slides and sources for talks on Tree Borrows
  ☆13Updated 3 weeks ago
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated last year
• tailcallhq / tailcall-chunk
  An immutable data structure with O(1) append, prepend, and concat time complexity.
  ☆32Updated last month
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆68Updated last year
• Kixiron / lasso
  A fast, concurrent string interner
  ☆150Updated 10 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆191Updated 8 months ago
• bearcove / autotrait
  Automatically declare a trait given an impl block.
  ☆24Updated 2 months ago
• conradludgate / linked_list_rs
  Linked list in rust... idk
  ☆31Updated 2 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆114Updated last year
• ripytide / nodit
  This crate provides Discrete Interval Tree Data-Structures, which are based off BTreeMap
  ☆46Updated 10 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆78Updated last year
• 0xPoe / cargo-information
  https://github.com/rust-lang/cargo/issues/948
  ☆56Updated 11 months ago
• mcy / strings
  Rust String Libraries by mcyoung
  ☆190Updated 5 months ago
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 5 months ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆42Updated 7 months ago