Dragon-Hatcher / type-system-chess
Chess implemented entirely in the Rust and TS type systems.
☆286Updated 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
- Cycle-tracking garbage collector library for Rust☆172Updated 3 weeks ago
- Compile-time lifetimes for comments.☆116Updated 8 months ago
- Refinement Types for Rust☆687Updated this week
- Rust String Libraries by mcyoung☆157Updated 2 weeks ago
- ☆362Updated last month
- Minimalistic snapshot testing for Rust.☆260Updated last month
- A library for generating TypeScript definitions from rust code.☆336Updated last year
- Macros for implementing Type-State-Pattern on your structs and methods☆240Updated 2 months ago
- ☆133Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆106Updated last month
- Incremental garbage collection from safe Rust☆612Updated last month
- ☆232Updated last month
- Public repository for the Rust keyword generics initiative☆97Updated 6 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆217Updated 3 months ago
- Müsli is a flexible and generic binary serialization framework☆366Updated this week
- ergonomic and precise error handling built atop type-level set arithmetic☆216Updated 3 months ago
- Command line parser with applicative interface☆367Updated this week
- ⅋ — session types for Rust☆136Updated 2 months ago
- Immutable strings, in Rust.☆244Updated last year
- Making parsing a breeze☆671Updated this week
- Use Tree Sitter to parse your own languages in Rust☆625Updated 3 months ago
- Concrete Syntax Tree library☆90Updated 2 weeks ago
- A Rust code linter☆210Updated 8 months ago
- ☆465Updated 3 months ago
- Comparing parser APIs☆106Updated 2 weeks ago
- A Stable ABI for Rust with compact sum-types☆350Updated this week
- 🌾 A pretty fast text rope☆271Updated 3 weeks ago
- Fast, efficient, and robust memory reclamation for Rust.☆403Updated this week
- Compiler front-end foundation technology.☆449Updated 3 months ago
- A compile-time pattern matching library that reverses the interpolation process of `format!`.☆161Updated this week