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.
  ☆311Updated 4 months ago
• wdanilo / borrow
  ☆519Updated 3 months ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆300Updated last year
• madonoharu / tsify
  A library for generating TypeScript definitions from rust code.
  ☆445Updated last week
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• rust-analyzer / smol_str
  ☆502Updated 2 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆736Updated last month
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆473Updated 3 weeks ago
• estebank / redpen
  A Rust code linter
  ☆213Updated last year
• mcy / strings
  Rust String Libraries by mcyoung
  ☆199Updated last year
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆481Updated last week
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆186Updated last month
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆686Updated 7 months ago
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆149Updated 3 years ago
• noib3 / crop
  🌾 A pretty fast text rope
  ☆307Updated 2 weeks ago
• pacak / bpaf
  Command line parser with applicative interface
  ☆418Updated 2 weeks ago
• dtolnay / monostate
  Type that deserializes only from one specific value
  ☆267Updated last month
• faiface / par
  ⅋ — session types for Rust
  ☆217Updated 6 months ago
• IWANABETHATGUY / tower-lsp-boilerplate
  ☆270Updated 2 weeks ago
• sloganking / codevis
  Turns your code into one large image
  ☆271Updated last year
• xfbs / imstr
  Immutable strings, in Rust.
  ☆247Updated 2 years ago
• udoprog / musli
  Müsli is a flexible and efficient serialization framework
  ☆420Updated last month
• fasterthanlime / mevi
  A memory visualizer in Rust (ptrace + userfaultfd)
  ☆732Updated last year
• ibraheemdev / seize
  Fast, efficient, and robust memory reclamation for Rust.
  ☆468Updated 4 months ago
• claytonwramsey / dumpster
  Cycle-tracking garbage collector library for Rust
  ☆313Updated 3 weeks ago
• typst / ecow
  Compact, clone-on-write vector and string.
  ☆298Updated 3 months ago
• tower-lsp-community / tower-lsp-server
  Language Server Protocol implementation for Rust based on Tower
  ☆161Updated last month
• parker-codes / todo_by
  Compile-time lifetimes for comments.
  ☆120Updated last year
• winnow-rs / winnow
  Making parsing a breeze
  ☆841Updated last week
• andrewbaxter / genemichaels
  Even formats macros
  ☆97Updated last month