A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
☆43May 1, 2016Updated 9 years ago
Alternatives and similar repositories for algorithmw-rust
Users that are interested in algorithmw-rust are comparing it to the libraries listed below
Sorting:
- A Hindley-Milner polymorphic typing system☆60Dec 18, 2023Updated 2 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Apr 6, 2019Updated 6 years ago
- Performant and flexible rate limiting algorithm for postgres☆14Sep 2, 2017Updated 8 years ago
- The Iron programming language☆16Jan 15, 2019Updated 7 years ago
- simple canvas for drawing lines and styled text and emitting to the terminal☆22Feb 18, 2026Updated last week
- A golden file testing library for rust☆38Sep 29, 2025Updated 5 months ago
- An interpreter of F-ing modules☆19Jun 21, 2019Updated 6 years ago
- ergonomic columnar storage encoding crate☆27Sep 23, 2025Updated 5 months ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆55Aug 30, 2021Updated 4 years ago
- Adapters to convert between different writable APIs.☆22Dec 27, 2024Updated last year
- Expression-oriented toy programming language written in Rust☆19Mar 18, 2019Updated 6 years ago
- ☆22May 8, 2016Updated 9 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Mar 6, 2017Updated 8 years ago
- A graph database implemented in Rust☆24Nov 6, 2015Updated 10 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- ☆167Aug 4, 2022Updated 3 years ago
- ☆22Dec 15, 2023Updated 2 years ago
- An opinionated, practical color management library for games and graphics.☆37Aug 1, 2023Updated 2 years ago
- A simple hash wheel timer supporting both periodic and one-off events☆29Oct 5, 2024Updated last year
- 🐠Like procedural macro, but generates sources! 🐡☆30Jun 15, 2020Updated 5 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- State machine pattern for Rust☆29Oct 31, 2024Updated last year
- In-memory x86-64 assembler for JIT compiler.☆78Apr 12, 2025Updated 10 months ago
- It's the stock market game but for Wikipedia articles!☆10Nov 19, 2024Updated last year
- ☆36Jan 24, 2025Updated last year
- Improve and strengthen your strings by making them strongly-typed with less boilerplate☆36Feb 4, 2026Updated 3 weeks ago
- a statically-typed programming language with powerful syntax☆31Jul 6, 2019Updated 6 years ago
- Synchronization primitives for lazy and one-time initialization (no_std compatible).☆34Mar 29, 2025Updated 11 months ago
- Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"☆79Aug 1, 2024Updated last year
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆35Aug 7, 2017Updated 8 years ago
- Embed property list files like Info.plist directly in your Rust executable binary☆46Jan 10, 2022Updated 4 years ago
- Rust library for safely and explicitly parsing untrusted data☆53May 3, 2024Updated last year
- Accessible, customizable Svelte search component☆43Sep 11, 2025Updated 5 months ago
- Experimenting with a faster bundling algorithm☆37Jan 13, 2023Updated 3 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- 自作言語処理系のコンパイラ制作☆43Feb 23, 2019Updated 7 years ago