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.
  ☆172Updated 3 weeks ago
• RalfJung / cargo-careful
  Execute Rust code carefully, with extra checking along the way
  ☆416Updated this week
• wdanilo / borrow
  ☆500Updated 2 months ago
• matklad / crt
  ☆134Updated 2 years ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆271Updated 5 months ago
• rust-analyzer / smol_str
  ☆487Updated 7 months ago
• hydro-project / rust-sitter
  Use Tree Sitter to parse your own languages in Rust
  ☆648Updated 3 weeks ago
• ozgunozerk / state-shift
  Macros for implementing Type-State-Pattern on your structs and methods
  ☆247Updated 2 months ago
• mcy / strings
  Rust String Libraries by mcyoung
  ☆188Updated 4 months ago
• xfbs / imstr
  Immutable strings, in Rust.
  ☆245Updated last year
• pacak / bpaf
  Command line parser with applicative interface
  ☆384Updated last week
• nomad / crop
  🌾 A pretty fast text rope
  ☆277Updated last month
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆314Updated this week
• estebank / redpen
  A Rust code linter
  ☆213Updated 11 months ago
• IWANABETHATGUY / tower-lsp-boilerplate
  ☆243Updated 5 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆703Updated this week
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆107Updated last year
• faiface / par
  ⅋ — session types for Rust
  ☆191Updated 6 months ago
• madonoharu / tsify
  A library for generating TypeScript definitions from rust code.
  ☆362Updated 2 weeks ago
• camino-rs / camino
  Like Rust's std::Path, but UTF-8.
  ☆491Updated this week
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆95Updated 2 months ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆301Updated 2 months ago
• typst / ecow
  Compact, clone-on-write vector and string.
  ☆264Updated last month
• kyren / gc-arena
  Incremental garbage collection from safe Rust
  ☆721Updated last month
• ZettaScaleLabs / stabby
  A Stable ABI for Rust with compact sum-types
  ☆370Updated 3 weeks ago
• LPGhatguy / thunderdome
  Arena type inspired by generational-arena
  ☆216Updated last year
• rust-lang / rustc-hash
  Custom hash algorithm used by rustc (plus hashmap/set aliases): fast, deterministic, not secure
  ☆470Updated 3 months ago
• jonhoo / roget
  Wordle Solver inspired by 3blue1brown
  ☆230Updated 2 years ago
• Manishearth / elsa
  Append-only collections for Rust where borrows to entries can outlive insertions
  ☆251Updated 2 months ago
• ealmloff / sledgehammer
  ☆192Updated 2 years ago