Alternatives and similar repositories for type-system-chess

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

• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆453Updated 2 months ago
• pacak / bpaf
  Command line parser with applicative interface
  ☆400Updated this week
• madonoharu / tsify
  A library for generating TypeScript definitions from rust code.
  ☆424Updated 2 weeks ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆291Updated 10 months ago
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆433Updated this week
• rust-analyzer / smol_str
  ☆500Updated last week
• wdanilo / borrow
  ☆517Updated 3 weeks ago
• mcy / strings
  Rust String Libraries by mcyoung
  ☆197Updated 9 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆722Updated 2 weeks ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆286Updated last month
• nomad / crop
  🌾 A pretty fast text rope
  ☆299Updated 2 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆174Updated this week
• parker-codes / todo_by
  Compile-time lifetimes for comments.
  ☆120Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆679Updated 4 months ago
• estebank / redpen
  A Rust code linter
  ☆212Updated last year
• dtolnay / monostate
  Type that deserializes only from one specific value
  ☆266Updated 3 weeks ago
• tower-lsp-community / tower-lsp-server
  Language Server Protocol implementation for Rust based on Tower
  ☆129Updated 2 weeks ago
• udoprog / musli
  Müsli is a flexible and efficient serialization framework
  ☆413Updated 3 weeks ago
• matklad / crt
  ☆138Updated 2 years ago
• rust-analyzer / ungrammar
  ☆324Updated last year
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 3 years ago
• IWANABETHATGUY / tower-lsp-boilerplate
  ☆261Updated 3 months ago
• ealmloff / sledgehammer
  ☆191Updated 2 years ago
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆109Updated last month
• Manishearth / elsa
  Append-only collections for Rust where borrows to entries can outlive insertions
  ☆261Updated 3 months ago
• Kixiron / rust-langdev
  Language development libraries for Rust
  ☆983Updated 10 months ago
• fasterthanlime / free-of-syn
  What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
  ☆138Updated 2 weeks ago
• m-ou-se / auto-import
  Please do not use this.
  ☆127Updated 3 years ago
• claytonwramsey / dumpster
  Cycle-tracking garbage collector library for Rust
  ☆201Updated last week