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
  ☆28Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆21Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆32Updated 6 months ago
• bearcove / autotrait
  Automatically declare a trait given an impl block.
  ☆26Updated 7 months ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• fasterthanlime / free-of-syn
  What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
  ☆142Updated last month
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆24Updated 6 months ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆119Updated 2 months ago
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆139Updated 2 months ago
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆63Updated last month
• sam0x17 / supertrait
  A Rust crate that uses macro hackery to enable const fn trait items and default associated types on traits in stable Rust.
  ☆29Updated 9 months ago
• BoxyUwU / rust-quiz
  ☆68Updated last month
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆152Updated last week
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆27Updated 10 months ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆86Updated 4 months ago
• GoldsteinE / cismute
  Safely transmute type to itself in generic context in Rust
  ☆15Updated 2 years ago
• Cr0a3 / ygen
  Ygen - Yet another code generation libary (abandoned)
  ☆111Updated last month
• playXE / masm-rs
  Macro assembler for Rust
  ☆35Updated last year
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆182Updated 2 weeks ago
• ModProg / manyhow
  ☆13Updated 2 months ago
• rust-lang / keyword-generics-initiative
  Public repository for the Rust keyword generics initiative
  ☆109Updated last year
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 3 years ago
• matklad / macro-dep-test
  ☆43Updated 2 years ago
• wrsturgeon / inator
  An evil parsing library.
  ☆54Updated 2 years ago
• faiface / par
  ⅋ — session types for Rust
  ☆213Updated 4 months ago
• scrabsha / expandable
  What if we could check declarative macros before using them?
  ☆51Updated last year
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆63Updated 4 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago