rust-hindley-milner

An implementation of the Hindley-Milner type system in Rust.

MIT License

Downloads
1.4K
Stars
42
View Code on GitHub
Ecosystems: Rust

hindley-milner

Hindley-Milner type inference implemented in Rust. Based on the hindley-milner-python port by Rob Smallshire.

License

MIT

Package Rankings
Top 36.31% on Crates.io
Related Projects
rust-corrode

A WIP port of Corrode to Rust

05 Jul 2017 6
rustler

Safe Rust bridge for creating Erlang NIF functions

18 Aug 2015 4,315
rustc-type-metaprogramming

18 Mar 2018 23
tarpit-rs

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rus...

08 Mar 2017 222
harma-rs

Rust implementation of the Harma project.

16 Jan 2021 2
typology

Type derivation for foreign use

13 May 2024 0
the-super-tiny-rusty-compiler

A super tiny and rusty compiler

26 Sep 2021 18
typed-type-exercise-in-rust

Build database expression type checker and vectorized runtime executor in type-safe Rust

20 May 2022 96
ctre-rs

CTRE Phoenix libraries for Rust

12 May 2018 7
libhmmer-sys

A thin rust wrapper around libhmmer

09 Sep 2021 5
htm

Rust implementation of Hierarchical Temporal Memory related algorithms.

27 Oct 2015 5
corollary

Cross-compiler from Haskell to Rust, plus parser-haskell.

04 May 2017 71
system-ct

Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions,...

12 Jun 2022 4
rustnotes

05 Jul 2019 29
refl

Provides a Refl encoding in Rust

28 Jan 2018 68