Dragon-Hatcher / type-system-chess
Chess implemented entirely in the Rust and TS type systems.
β289Updated 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
- πΎ A pretty fast text ropeβ274Updated 2 weeks ago
- An IDE extension for debugging trait errors in Rust.β154Updated this week
- Rust String Libraries by mcyoungβ184Updated 3 months ago
- β β session types for Rustβ185Updated 5 months ago
- Minimalistic snapshot testing for Rust.β270Updated 4 months ago
- β492Updated last month
- β483Updated 6 months ago
- β133Updated 2 years ago
- Execute Rust code carefully, with extra checking along the wayβ409Updated last week
- Compact, clone-on-write vector and string.β259Updated 2 weeks ago
- Refinement Types for Rustβ728Updated this week
- Compile-time lifetimes for comments.β118Updated 11 months ago
- A Rust code linterβ212Updated 10 months ago
- A library for generating TypeScript definitions from rust code.β353Updated 3 weeks ago
- MΓΌsli is a flexible and efficient serialization frameworkβ386Updated 2 weeks ago
- Library for snippet annotationsβ312Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rustβ218Updated 6 months ago
- Immutable strings, in Rust.β245Updated last year
- A minimal `syn` syntax tree pretty-printerβ693Updated last week
- A compile-time pattern matching library that reverses the interpolation process of `format!`.β161Updated this week
- Command line parser with applicative interfaceβ380Updated last month
- Macros for implementing Type-State-Pattern on your structs and methodsβ246Updated last month
- β241Updated 4 months ago
- A parallelized Rust port of crumsortβ168Updated 2 years ago
- Cycle-tracking garbage collector library for Rustβ180Updated 3 months ago
- Append-only collections for Rust where borrows to entries can outlive insertionsβ251Updated 2 months ago
- Public repository for the Rust keyword generics initiativeβ99Updated 8 months ago
- A library for building declarative text-based user interfacesβ214Updated last year
- Use Tree Sitter to parse your own languages in Rustβ646Updated this week
- Fast, efficient, and robust memory reclamation for Rust.β412Updated 2 months ago