An implementation of the Hindley-Milner type system in Rust.
☆42Jan 2, 2017Updated 9 years ago
Alternatives and similar repositories for rust-hindley-milner
Users that are interested in rust-hindley-milner are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My own LISP dialect, crafted with love.☆16Jan 20, 2017Updated 9 years ago
- Framework for web-development with Ruby. This framework dedicated to DHH, author of Rails and I'm not sure it is good.☆10Sep 4, 2018Updated 8 years ago
- Trivial sample for building Elixir apps using Nerves☆15Sep 26, 2014Updated 12 years ago
- Blazingly fast Linux syscall collector☆77Mar 10, 2018Updated 8 years ago
- ☆14Sep 2, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experimental CouchDB support for ROM☆18Jan 31, 2017Updated 9 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 3 months ago
- JSON adapter for ROM☆16Mar 30, 2021Updated 5 years ago
- Hindley Milner Type Inference in Rust☆11Oct 4, 2017Updated 9 years ago
- SOAP client for Rust programming language☆40Nov 24, 2018Updated 7 years ago
- SATySFi Support for VSCode☆20Updated this week
- !! Superseded by https://github.com/picodata/tarantool-module☆47Nov 30, 2020Updated 5 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- ☆17Oct 22, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- Monitoring and instrumentation APIs☆79Oct 1, 2026Updated last week
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- OCaml + Fly.io☆11Oct 1, 2026Updated last week
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- Timer facilities for Tokio☆85Mar 30, 2018Updated 8 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- The `>>` operator for Ruby aka "pipeline operator"☆75Jan 13, 2019Updated 7 years ago
- Roda plugin for Ruby Object Mapper☆22Oct 27, 2015Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The core `Service` trait in Tokio and support☆83Aug 1, 2018Updated 8 years ago
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 4 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Sep 17, 2021Updated 5 years ago
- A fast segmented stack allocator for Rust, supporting multiple objects of any type.☆14Sep 4, 2020Updated 6 years ago
- hindley-milner algorithm☆64Jun 3, 2023Updated 3 years ago
- Steamer: presentation in SATySFi☆14May 9, 2019Updated 7 years ago
- Flexible, expressive pattern matching for Ruby☆103Oct 1, 2026Updated last week
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- VM with JIT-compiler for ATMega32 written in Rust☆112Oct 28, 2018Updated 7 years ago
- Relay helpers for GraphQL Elixir☆37Jul 11, 2018Updated 8 years ago
- A simple CSS 2.1 parser and selector☆46Dec 21, 2025Updated 9 months ago
- compare crate of GUI for Rust☆10Jun 7, 2022Updated 4 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 7 years ago
- Roda integration for dry-web apps☆120Apr 6, 2021Updated 5 years ago
- ☆45Jan 17, 2017Updated 9 years ago