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:
- An IDE extension for debugging trait errors in Rust.☆294Updated 2 months ago
- Language Server Protocol implementation for Rust based on Tower☆135Updated 2 weeks ago
- Rust String Libraries by mcyoung☆197Updated 9 months ago
- Minimalistic snapshot testing for Rust.☆296Updated 11 months ago
- Execute Rust code carefully, with extra checking along the way☆454Updated 3 months ago
- ☆517Updated last month
- Resilient LL(1) parser generator for Rust☆181Updated this week
- Cycle-tracking garbage collector library for Rust☆203Updated 2 weeks ago
- 🌾 A pretty fast text rope☆301Updated 3 months ago
- Compile-time lifetimes for comments.☆120Updated last year
- ☆501Updated 2 weeks ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- Compact, clone-on-write vector and string.☆292Updated 3 weeks ago
- A library for generating TypeScript definitions from rust code.☆427Updated last month
- Immutable strings, in Rust.☆250Updated last year
- Command line parser with applicative interface☆412Updated last week
- A Rust code linter☆212Updated last year
- A minimal `syn` syntax tree pretty-printer☆725Updated last month
- ☆262Updated 4 months ago
- Concrete Syntax Tree library☆109Updated last month
- ⅋ — session types for Rust☆213Updated 4 months ago
- Library for snippet annotations☆453Updated this week
- Comparing parser APIs☆145Updated 2 weeks ago
- https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust☆148Updated 3 years ago
- Even formats macros☆94Updated 3 weeks ago
- Fast, efficient, and robust memory reclamation for Rust.☆455Updated 2 months ago
- A memory visualizer in Rust (ptrace + userfaultfd)☆730Updated last year
- ☆191Updated 2 years ago
- Use Tree Sitter to parse your own languages in Rust☆681Updated 5 months ago
- Reliably performant diffing☆187Updated last month