Chess implemented entirely in the Rust and TS type systems.
☆312Jan 8, 2024Updated 2 years ago
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:
- wall time exex for reth☆12Aug 5, 2024Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- A tool to help with minimization of Rust code☆67Oct 17, 2025Updated 4 months ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆16Aug 10, 2022Updated 3 years ago
- We have Crater At Home☆38Oct 26, 2024Updated last year
- Append-only collections for Rust where borrows to entries can outlive insertions☆274Jan 23, 2026Updated last month
- Binary size analyzer for Rust programs☆37Apr 26, 2024Updated last year
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 2 years ago
- Use bitsized types as if they were a feature of rust.☆195Sep 15, 2025Updated 5 months ago
- A pure functional language for type-level programming in Rust☆338Nov 12, 2022Updated 3 years ago
- Finding ownership bugs at scale.☆34Updated this week
- A fancy diagnostics & error reporting crate☆2,137Jan 21, 2026Updated last month
- automatially find crashes in the rust compiler & tooling☆81Apr 15, 2024Updated last year
- A homebrew tap☆16Feb 23, 2026Updated 2 weeks ago
- ☆16Mar 29, 2024Updated last year
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- ☆16Feb 9, 2026Updated last month
- "Generic generics" / higher-kinded APIs in stable Rust.☆17Dec 8, 2025Updated 3 months ago
- The last-write-wins register CRDT☆17Nov 10, 2024Updated last year
- Your favourite Haskell type classes for Rust☆265Apr 13, 2023Updated 2 years ago
- Like Rust's std::Path, but UTF-8.☆550Dec 15, 2025Updated 2 months ago
- ☆107Mar 8, 2021Updated 5 years ago
- A minimalistic, lock-free, fixed-size cache for Rust.☆53Feb 11, 2026Updated 3 weeks ago
- Procedural macro for automatically implementing metrics description and initialization.☆24Feb 11, 2026Updated 3 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆109Mar 2, 2026Updated last week
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- A small in-memory key value database for rust☆14Jun 8, 2023Updated 2 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- Disjoint borrow of slices in Rust☆11Sep 1, 2019Updated 6 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,986Feb 8, 2026Updated last month
- Typed distributed plugin registration☆1,274Feb 19, 2026Updated 2 weeks ago
- ☆24Feb 4, 2025Updated last year
- What if we could check declarative macros before using them?☆51Nov 3, 2024Updated last year
- A snapshot of name squatting on crates.io☆75Apr 14, 2024Updated last year
- An IDE extension for debugging trait errors in Rust.☆319Sep 15, 2025Updated 5 months ago
- A minimal `syn` syntax tree pretty-printer☆746Feb 9, 2026Updated last month