Hindley-Milner Type Inference Algorithm in OCaml
The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.
Hindley-Milner Type Inference Algorithm in OCaml launched on April 27, 2016 with 136 votes, #236 of 4,301 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 10 years on.
In plain words
This is an OCaml implementation of the Hindley-Milner type inference algorithm, available as an open-source GitHub repository. It is designed for developers and computer science students studying type systems and functional programming. The project provides a working reference implementation of this foundational algorithm used in languages like Haskell and ML to automatically deduce variable types without explicit annotations.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
A Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
Hindley–Milner type inferencing in C2022 · github.com · ▲7This is a pretty straightforward port of Robert Smallshire's Python implementation to C. It type checks a factorial program correctly and is pretty fast. Mostly a learning exercise.
- BABrancher – A user-friendly PyTorch module for probabilistic inference2019 · brancher.org · ▲96
Timber – Ollama for classical ML models, 336x faster than PythonMar 2026 · github.com · ▲207Ollama for classical ML models. AOT compiler that turns XGBoost, LightGBM, scikit-learn, CatBoost & ONNX models into native C99 inference code. One command to load, one command to serve. 336x faster than Python inference. - kossisoroyce/timber
Simple refined types implementation that can prevent Heartbleed2014 · github.com · ▲56Implementations of various type systems in OCaml. Contribute to tomprimozic/type-systems development by creating an account on GitHub.
Automatically interpret and validate nested natural logic arguments2017 · github.com · ▲53Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲340Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 27d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, April 2016
the whole month →
Access all the files on Dropbox without having to sync
Work · 2016 · blog.dropbox.com
The easiest way to build an FB bot. No coding required!
Dev tools · 2016
Quickly find your Bootstrap classes on this interactive Bootstrap cheat sheet. It includes code samples and live preview of elements.
Dev tools · 2016 · hackerthemes.com