Dragon-Hatcher / type-system-chess
Chess implemented entirely in the Rust and TS type systems.
☆287Updated last year
Alternatives and similar repositories for type-system-chess:
Users that are interested in type-system-chess are comparing it to the libraries listed below
- ☆235Updated 2 months ago
- Macros for implementing Type-State-Pattern on your structs and methods☆241Updated 3 months ago
- ☆367Updated 2 weeks ago
- Minimalistic snapshot testing for Rust.☆260Updated 2 months ago
- Rust String Libraries by mcyoung☆161Updated last month
- Nestify offers a macro to simplify and beautify nested struct definitions in Rust, enabling cleaner, more readable code structures with l…☆328Updated 11 months ago
- An IDE extension for debugging trait errors in Rust.☆107Updated last week
- ⅋ — session types for Rust☆139Updated 3 months ago
- Execute Rust code carefully, with extra checking along the way☆403Updated 7 months ago
- Immutable strings, in Rust.☆245Updated last year
- ☆469Updated 4 months ago
- ☆134Updated 2 years ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆149Updated last year
- A Rust code linter☆211Updated 9 months ago
- 🌾 A pretty fast text rope☆272Updated last month
- Library for snippet annotations☆306Updated last week
- Making parsing a breeze☆686Updated this week
- Comparing parser APIs☆110Updated 2 weeks ago
- Refinement Types for Rust☆701Updated this week
- ergonomic and precise error handling built atop type-level set arithmetic☆220Updated 4 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆106Updated last year
- A compile-time pattern matching library that reverses the interpolation process of `format!`.☆161Updated this week
- Müsli is a flexible and efficient serialization framework☆369Updated 2 weeks ago
- Public repository for the Rust keyword generics initiative☆97Updated 7 months ago
- ☆191Updated last year
- A minimal `syn` syntax tree pretty-printer☆673Updated this week
- Experiments with structured concurrency in Rust☆349Updated 7 months ago
- Easy code duplicate with substitution for Rust☆238Updated 5 months ago
- A library for generating TypeScript definitions from rust code.☆340Updated last year