Alternatives and similar repositories for rust-type-fuckery

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

• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• Noratrieb / cargo-minimize
  A tool to help with minimization of Rust code
  ☆59Updated 5 months ago
• ModProg / manyhow
  ☆13Updated this week
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 10 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆172Updated 3 weeks ago
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆32Updated 4 months ago
• faiface / par
  ⅋ — session types for Rust
  ☆209Updated 2 months ago
• fasterthanlime / free-of-syn
  What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
  ☆137Updated 3 weeks ago
• bearcove / autotrait
  Automatically declare a trait given an impl block.
  ☆26Updated 4 months ago
• kast-lang / kast
  An experimental programming language
  ☆73Updated this week
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• rust-community-discord / ferrisbot-for-discord
  Rust programming language bot for Discord
  ☆48Updated last month
• lccc-project / lccc
  Lightning Creations Compiler Frontend for various languages
  ☆118Updated 9 months ago
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆80Updated 2 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆85Updated last month
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆117Updated this week
• orsinium-labs / rlci
  🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
  ☆67Updated 6 months ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆37Updated 3 years ago
• BoxyUwU / rust-quiz
  ☆57Updated last month
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 8 months ago
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 3 years ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated 4 months ago
• Cr0a3 / ygen
  Ygen - Yet another code generation libary (abandoned)
  ☆111Updated 2 weeks ago
• Kixiron / lasso
  A fast, concurrent string interner
  ☆153Updated last year
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• rezigned / tur
  Tur - A language for defining and executing Turing machines, complete with parser, interpreter, and multi-platform visualization tools.
  ☆114Updated 2 weeks ago
• cognitive-engineering-lab / rustc_plugin
  A framework for writing plugins that integrate with the Rust compiler
  ☆159Updated last week
• oxalica / async-lsp
  Asynchronous Language Server Protocol framework
  ☆129Updated last week
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year