Hindley Milner Type Inference in Rust
☆12Oct 4, 2017Updated 8 years ago
Alternatives and similar repositories for type-inference
Users that are interested in type-inference are comparing it to the libraries listed below
Sorting:
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Jun 1, 2016Updated 9 years ago
- A Hindley-Milner polymorphic typing system☆60Dec 18, 2023Updated 2 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- a concurrent compiled programming language☆15Jun 9, 2022Updated 3 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Jan 2, 2017Updated 9 years ago
- Community maintained list of Rust talks.☆29Nov 27, 2016Updated 9 years ago
- A simple CSS 2.1 parser and selector☆43Dec 21, 2025Updated 2 months ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆35Aug 7, 2017Updated 8 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆43May 1, 2016Updated 9 years ago
- HDRP-compatible shaders for Bakery☆15Jun 6, 2019Updated 6 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- A music player that lists and plays all .mp3 files in a given folder. Everything is written without any external code, except decoding of…☆11Feb 12, 2022Updated 4 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Tox is a statically typed version programming language that is written in rust.☆39Jan 20, 2023Updated 3 years ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated last year
- A game in MacRuby and OpenGL developed during 2010 Super Game Dev Weekend☆49Dec 17, 2010Updated 15 years ago
- ☆10May 14, 2020Updated 5 years ago
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- 🔫 Toy ML-like Imperative Programming Language (WIP)☆10Apr 15, 2021Updated 4 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Volume Rendering with OpenGL and GLSL☆10May 30, 2015Updated 10 years ago
- Iterator comprehension in Rust☆12Aug 3, 2020Updated 5 years ago
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago
- Wolfram LibraryLink interface for Rust [Deprecated]☆10Mar 8, 2024Updated last year
- tiny tiny shader playground☆16Nov 20, 2019Updated 6 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated 2 months ago
- Go toolchain written in rust (parser, compiler)☆10Jan 21, 2026Updated last month
- A multi-threaded job scheduler in Rust.☆14Aug 18, 2022Updated 3 years ago
- A programming language.☆13Aug 4, 2025Updated 6 months ago
- Zero-terminated string types for FFI.☆13Mar 13, 2023Updated 2 years ago
- Concurrency algorithms☆11Apr 7, 2025Updated 10 months ago
- Code for "The Layer Laboratory: A Calculus for Additive and Subtractive Composition of Anisotropic Surface Reflectance" (SIGGRAPH 2018) b…☆10Apr 7, 2021Updated 4 years ago
- A repository for personal experimental purpose☆11Apr 11, 2018Updated 7 years ago