Dragon-Hatcher / type-system-chess
Chess implemented entirely in the Rust and TS type systems.
☆287Updated 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
- ☆235Updated 2 months ago
- ☆367Updated 2 weeks ago
- ☆134Updated 2 years ago
- Compile-time lifetimes for comments.☆116Updated 9 months ago
- 🌾 A pretty fast text rope☆272Updated last month
- Macros for implementing Type-State-Pattern on your structs and methods☆241Updated 3 months ago
- Use Tree Sitter to parse your own languages in Rust☆630Updated 3 weeks ago
- Refinement Types for Rust☆697Updated this week
- A Rust code linter☆211Updated 9 months ago
- A library for generating TypeScript definitions from rust code.☆340Updated last year
- Command line parser with applicative interface☆374Updated last week
- Library for snippet annotations☆306Updated last week
- Müsli is a flexible and efficient serialization framework☆369Updated last week
- A Stable ABI for Rust with compact sum-types☆356Updated last week
- Incremental garbage collection from safe Rust☆629Updated 2 weeks ago
- Incremental computation through constrained memoization.☆473Updated 4 months ago
- ☆466Updated 4 months ago
- A minimal async executor that lets you block on a future☆571Updated last month
- Making parsing a breeze☆686Updated this week
- Type safe query builder for rust☆333Updated this week
- Generic extensions for tapping values in Rust.☆429Updated last year
- A minimal `syn` syntax tree pretty-printer☆670Updated last week
- Minimalistic snapshot testing for Rust.☆260Updated 2 months ago
- Rust String Libraries by mcyoung☆161Updated last month
- Execute Rust code carefully, with extra checking along the way☆402Updated 7 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆106Updated last year
- cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code☆786Updated this week
- A library for building declarative text-based user interfaces☆215Updated last year
- Like Rust's std::Path, but UTF-8.☆473Updated 2 weeks ago