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
  ☆420Updated 2 weeks ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆281Updated 6 months ago
• wdanilo / borrow
  ☆504Updated 3 months ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆181Updated last month
• mcy / strings
  Rust String Libraries by mcyoung
  ☆190Updated 5 months ago
• xfbs / imstr
  Immutable strings, in Rust.
  ☆245Updated last year
• matklad / crt
  ☆134Updated 2 years ago
• madonoharu / tsify
  A library for generating TypeScript definitions from rust code.
  ☆368Updated last month
• IWANABETHATGUY / tower-lsp-boilerplate
  ☆245Updated 6 months ago
• dtolnay / prettyplease
  A minimal `syn` syntax tree pretty-printer
  ☆708Updated this week
• rust-analyzer / smol_str
  ☆489Updated 8 months ago
• flux-rs / flux
  Refinement Types for Rust
  ☆741Updated this week
• enricozb / intuitive
  A library for building declarative text-based user interfaces
  ☆214Updated last year
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆315Updated this week
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆220Updated 7 months ago
• Shnatsel / bounds-check-cookbook
  Recipes for avoiding bounds checks in Rust, without unsafe!
  ☆116Updated 2 years ago
• Kixiron / rust-langdev
  Language development libraries for Rust
  ☆960Updated 6 months ago
• udoprog / musli
  Müsli is a flexible and efficient serialization framework
  ☆394Updated this week
• jswrenn / deflect
  Reflection via DWARF.
  ☆297Updated 2 years ago
• estebank / redpen
  A Rust code linter
  ☆214Updated last year
• devongovett / glob-match
  An extremely fast glob matching library in Rust.
  ☆335Updated 10 months ago
• mathematic-inc / unfmt
  A compile-time pattern matching library that reverses the interpolation process of `format!`.
  ☆161Updated this week
• yoshuawuyts / futures-concurrency
  Structured concurrency operations for async Rust
  ☆455Updated 4 months ago
• rust-analyzer / ungrammar
  ☆317Updated 8 months ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆108Updated last year
• Boshen / cargo-shear
  Detect and remove unused dependencies from Cargo.toml
  ☆267Updated this week
• faiface / par
  ⅋ — session types for Rust
  ☆191Updated 7 months ago
• typst / ecow
  Compact, clone-on-write vector and string.
  ☆267Updated 2 months ago
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆147Updated 2 years ago
• ozgunozerk / state-shift
  Macros for implementing Type-State-Pattern on your structs and methods
  ☆250Updated 3 months ago