Chess implemented entirely in the Rust and TS type systems.
☆346Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Mar 13, 2026Updated 5 months ago
- cargo-expand, but with Hygiene [WIP]☆21Aug 8, 2023Updated 3 years ago
- We have Crater At Home☆40Oct 26, 2024Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated 2 years ago
- Append-only collections for Rust where borrows to entries can outlive insertions☆280Jun 27, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A tool to help with minimization of Rust code☆71Oct 17, 2025Updated 10 months ago
- Binary size analyzer for Rust programs☆35Apr 26, 2024Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- A snapshot of name squatting on crates.io☆75Apr 14, 2024Updated 2 years ago
- Your favourite Haskell type classes for Rust☆268Apr 13, 2023Updated 3 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 6 years ago
- Like Rust's std::Path, but UTF-8.☆576Jul 28, 2026Updated last month
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated 2 years ago
- Use bitsized types as if they were a feature of rust.☆199Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust implementation for the IEEE 802.15.4 protocol☆22Jun 26, 2025Updated last year
- exhaustive testing library☆66Jul 29, 2024Updated 2 years ago
- 🚃 lib for CLI utilities, printing, and error handling☆16Mar 13, 2026Updated 5 months ago
- [Ariadne has moved to Codeberg!] A fancy diagnostics & error reporting crate☆2,156Mar 23, 2026Updated 5 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,013Feb 8, 2026Updated 6 months ago
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆15Aug 10, 2022Updated 4 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- ☆262Nov 22, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A pure functional language for type-level programming in Rust☆344Nov 12, 2022Updated 3 years ago
- find crashes in the rust compiler & related tooling☆88Apr 15, 2024Updated 2 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆119Updated this week
- "Generic generics" / higher-kinded APIs in stable Rust.☆20Updated this week
- A safe library for allocating arbitrarily sized data on the stack at runtime in Rust.☆25Jul 1, 2026Updated 2 months ago
- GitHub Action to automatically format Rust code and fix clippy lints.☆28Jul 1, 2026Updated 2 months ago
- UB-free and deterministic rustc fuzzer☆106Dec 21, 2025Updated 8 months ago
- A homebrew tap☆16Feb 23, 2026Updated 6 months ago
- What if we could check declarative macros before using them?☆52Nov 3, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A practical experiment on supply-chain security using reproducible builds☆160Aug 21, 2023Updated 3 years ago
- ☆112Mar 8, 2021Updated 5 years ago
- SIMD-optimized B+ Tree implementation that uses integer keys☆96Jul 13, 2025Updated last year
- Typed distributed plugin registration☆1,342Aug 22, 2026Updated last week
- Manual segmented stacks for Rust☆357Aug 19, 2026Updated 2 weeks ago
- Library for snippet annotations☆515Updated this week
- Cargo subcommand for viewing LLVM optimization remarks.☆207Oct 13, 2025Updated 10 months ago