Dragon-Hatcher / type-system-chessLinks
Chess implemented entirely in the Rust and TS type systems.
☆308Updated 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
Sorting:
- Minimalistic snapshot testing for Rust.☆297Updated 11 months ago
- Library for snippet annotations☆469Updated this week
- ☆517Updated 2 months ago
- An IDE extension for debugging trait errors in Rust.☆301Updated 3 months ago
- Resilient LL(1) parser generator for Rust☆183Updated 3 weeks ago
- Execute Rust code carefully, with extra checking along the way☆457Updated 2 weeks ago
- ☆502Updated last month
- 🌾 A pretty fast text rope☆302Updated 4 months ago
- Rust String Libraries by mcyoung☆197Updated 10 months ago
- Concrete Syntax Tree library☆109Updated 2 months ago
- A minimal `syn` syntax tree pretty-printer☆728Updated 3 weeks ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Command line parser with applicative interface☆414Updated last month
- Compile-time lifetimes for comments.☆120Updated last year
- Language Server Protocol implementation for Rust based on Tower☆140Updated last week
- Incremental garbage collection from safe Rust☆783Updated last week
- Immutable strings, in Rust.☆248Updated last year
- Reliably performant diffing☆191Updated last week
- ⅋ — session types for Rust☆214Updated 4 months ago
- Refinement Types for Rust☆801Updated this week
- Fast, efficient, and robust memory reclamation for Rust.☆456Updated 3 months ago
- Müsli is a flexible and efficient serialization framework☆418Updated last month
- Even formats macros☆95Updated this week
- Cycle-tracking garbage collector library for Rust☆204Updated last month
- A Rust code linter☆212Updated last year
- A library for generating TypeScript definitions from rust code.☆436Updated 2 months ago
- ☆263Updated 4 months ago
- ☆325Updated last month
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆142Updated last month
- Comparing parser APIs☆152Updated this week