Alternatives and similar repositories for type-system-chess

Users that are interested in type-system-chess are comparing it to the libraries listed below

• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆313Updated 4 months ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆300Updated last year
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆476Updated last month
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆481Updated last week
• noib3 / crop
  🌾 A pretty fast text rope
  ☆311Updated 3 weeks ago
• wdanilo / borrow
  ☆522Updated 4 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆737Updated last month
• rust-analyzer / smol_str
  ☆501Updated 3 months ago
• parker-codes / todo_by
  Compile-time lifetimes for comments.
  ☆120Updated last year
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆149Updated 3 years ago
• NoodlesOfWrath / unwrap_or_ai
  Transform your failing Rust functions into INTELLIGENT SUCCESS SYSTEMS
  ☆297Updated 4 months ago
• madonoharu / tsify
  A library for generating TypeScript definitions from rust code.
  ☆449Updated 2 weeks ago
• xfbs / imstr
  Immutable strings, in Rust.
  ☆247Updated 2 years ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• claytonwramsey / dumpster
  Cycle-tracking garbage collector library for Rust
  ☆312Updated this week
• pacak / bpaf
  Command line parser with applicative interface
  ☆423Updated last week
• dtolnay / monostate
  Type that deserializes only from one specific value
  ☆267Updated last month
• mcy / strings
  Rust String Libraries by mcyoung
  ☆199Updated last year
• udoprog / musli
  Müsli is a flexible and efficient serialization framework
  ☆423Updated last month
• estebank / redpen
  A Rust code linter
  ☆213Updated last year
• typst / ecow
  Compact, clone-on-write vector and string.
  ☆300Updated 3 months ago
• Kixiron / rust-langdev
  Language development libraries for Rust
  ☆984Updated last year
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆688Updated 7 months ago
• tower-lsp-community / tower-lsp-server
  Language Server Protocol implementation for Rust based on Tower
  ☆166Updated 2 months ago
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆806Updated 2 months ago
• jonhoo / roget
  Wordle Solver inspired by 3blue1brown
  ☆235Updated 3 years ago
• rust-analyzer / ungrammar
  ☆324Updated 3 months ago
• ealmloff / sledgehammer
  ☆191Updated 2 years ago
• matklad / crt
  ☆143Updated 3 years ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆186Updated last month