An implementation of the Hindley-Milner type system in Rust.
MIT License
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rus...
Rust implementation of Hierarchical Temporal Memory related algorithms.
Cross-compiler from Haskell to Rust, plus parser-haskell.
Provides a Refl encoding in Rust
Type derivation for foreign use
Build database expression type checker and vectorized runtime executor in type-safe Rust
A WIP port of Corrode to Rust
Implementation of System CT in Rust. Refer "Type Inference for Overloading without Restrictions,...
CTRE Phoenix libraries for Rust
A super tiny and rusty compiler
Safe Rust bridge for creating Erlang NIF functions
Rust implementation of the Harma project.
A thin rust wrapper around libhmmer