Dragon-Hatcher / type-system-chessLinks
Chess implemented entirely in the Rust and TS type systems.
☆294Updated 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.☆186Updated last week
- Minimalistic snapshot testing for Rust.☆289Updated 7 months ago
- Compile-time lifetimes for comments.☆119Updated last year
- Rust String Libraries by mcyoung☆192Updated 6 months ago
- Execute Rust code carefully, with extra checking along the way☆443Updated last month
- Resilient LL(1) parser generator for Rust☆164Updated 2 weeks ago
- ☆510Updated 4 months ago
- Command line parser with applicative interface☆394Updated 2 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆110Updated last year
- ☆493Updated 9 months ago
- Library for snippet annotations☆326Updated this week
- ⅋ — session types for Rust☆201Updated 2 weeks ago
- 🌾 A pretty fast text rope☆289Updated 3 months ago
- Compact, clone-on-write vector and string.☆283Updated 3 months ago
- ☆321Updated 9 months ago
- Use Tree Sitter to parse your own languages in Rust☆660Updated last month
- Language Server Protocol implementation for Rust based on Tower☆109Updated this week
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆126Updated last month
- A library for generating TypeScript definitions from rust code.☆389Updated 2 months ago
- A minimal `syn` syntax tree pretty-printer☆710Updated 2 weeks ago
- ☆251Updated 2 weeks ago
- Type that deserializes only from one specific value☆245Updated this week
- Yet Another Parser library for Rust. A lightweight, dependency free, parser combinator inspired set of utility methods to help with parsi…☆159Updated 5 months ago
- Concrete Syntax Tree library☆100Updated last week
- ☆191Updated 2 years ago
- A Rust code linter☆217Updated last year
- Immutable strings, in Rust.☆247Updated last year
- Public repository for the Rust keyword generics initiative☆103Updated 11 months ago
- An experimental linting interface for Rust. Let's make custom lints a reality☆147Updated last year
- Refinement Types for Rust☆755Updated last week