An interface for writing a RustTypeChecker.
☆44Feb 27, 2023Updated 3 years ago
Alternatives and similar repositories for RustTyC
Users that are interested in RustTyC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Procedural macro to mock returning (values referencing) locals from a function (using CPS)☆34Oct 22, 2024Updated 2 years ago
- The never type (the true one!) in stable Rust.☆43Jul 4, 2025Updated last year
- Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator☆20Apr 1, 2026Updated 6 months ago
- An importer plugin for Godot 4.x for Piskel projects☆14Oct 5, 2025Updated last year
- A Hindley-Milner polymorphic typing system☆61Dec 18, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Generate parsers directly from AST node types☆92Jun 6, 2024Updated 2 years ago
- A safe and lightweight real-time Kernel written in Rust.☆13May 17, 2021Updated 5 years ago
- Request For Comment (RFC) repo for Nu☆13Sep 29, 2023Updated 3 years ago
- Make pixel art in emacs buffers.☆13Feb 22, 2023Updated 3 years ago
- Automatically finds strings in your project and uses them to create the keys to a .csv translation file☆10Aug 18, 2022Updated 4 years ago
- A toy incremental computation framework☆15Jan 3, 2021Updated 5 years ago
- Allow function lifetime elision and explicit `for<'a>` annotations on closures.☆26Jan 31, 2022Updated 4 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43May 1, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CFGs to LALR(1) parse tables☆11May 10, 2024Updated 2 years ago
- JSON serialization & deserialization for facet☆15Nov 27, 2025Updated 11 months ago
- A neovim plugin to create fixup! commits with ease☆12Jul 13, 2024Updated 2 years ago
- A Rust-native WebAssembly syntax model useful for generating, reading, and emitting WebAssembly code.☆17May 22, 2026Updated 5 months ago
- The third iteration of the Lavender programming language, implemented in Rust.☆12Apr 17, 2021Updated 5 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- An arena allocated tree structure for Rust with removal support☆12Mar 28, 2026Updated 7 months ago
- This project has moved to https://github.com/Enselic/cargo-public-api/tree/main/public-api☆22May 26, 2022Updated 4 years ago
- Read trait fixed to soundly work with uninitalized memory☆28Nov 20, 2023Updated 2 years 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.
- `&own` pointers in Stable Rust / `RefOwn` / `&mut` with move semantics (and thus drop)☆26Aug 11, 2024Updated 2 years ago
- a Rust port of the Lua Lapp framework: a straightforward GNU-style command-line parser which uses usage text to define arguments☆17Nov 18, 2019Updated 6 years ago
- 🚃 lib for CLI utilities, printing, and error handling☆16Mar 13, 2026Updated 7 months ago
- Rust implementation of qntm/base65536☆17Feb 22, 2022Updated 4 years ago
- ☆52Sep 12, 2025Updated last year
- A test framework for testing rustc diagnostics output☆47Oct 19, 2026Updated last week
- An infinite digital workspace for creative and visual thinking.☆19Updated this week
- impl fallible collections in rust, quite as describe in RFC 2116☆41Jun 5, 2026Updated 4 months ago
- A language that can program itself☆10Oct 25, 2026Updated last week
- 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.
- Macro assembler for Rust☆36Mar 8, 2024Updated 2 years ago
- ☆17Nov 6, 2025Updated 11 months ago
- Safe generators on stable Rust.☆40Jul 1, 2023Updated 3 years ago
- Core smart contracts (realms) of GnoSwap☆17Updated this week
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- ☆15Aug 19, 2026Updated 2 months ago
- System for booting multiple diskless machines with a central root FS☆20Dec 21, 2023Updated 2 years ago