Dev tools · alternatives · 2026
24 alternatives to 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.
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… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Hindley-Milner Type Inference Algorithm in OCaml launched in 2016; newer entries below may have overtaken it.
- 1
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
2015 · github.com · its alternatives →
- 2
This 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.
2022 · github.com · its alternatives →
- 3BA
2019 · brancher.org · its alternatives →
- 4
Ollama 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
Mar 2026 · github.com · its alternatives →
- 5
We wrote our inference engine on Rust, it is faster than llama cpp in all of the use cases. Your feedback is very welcomed. Written from scratch with idea that you can add support of any kernel and platform.
2025 · github.com · its alternatives →
- 6
Creating high-quality scientific figures can be time-consuming and challenging, even though sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are not stored in formats preserving semantic information is equally complex. To tackle this problem, we introduce DeTikZify, a novel multimodal language model that automatically synthesizes scientific figures as semantics-preserving TikZ graphics programs based on sketches and existing figures. We also introduce a Monte Carlo Tree Search-based inference algorithm that enables DeTikZify to iteratively refine its…
2024 · github.com · its alternatives →
- 7
⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 8
Implementations of various type systems in OCaml. Contribute to tomprimozic/type-systems development by creating an account on GitHub.
2014 · github.com · its alternatives →
- 9
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
2017 · github.com · its alternatives →
- 10
Fine-tuning, RL, and inference in one CLI
Dec 2025 · github.com · its alternatives →
- 11
Greetings! A 2.5 weekends project to teach myself newer Python features (>= 3.10). Conditions are written as Lambda expressions that annotate parameters and return types, and coexist with type annotations. Symbols to share values between conditions are also supported to a limited extend.
2022 · github.com · its alternatives →
- 12
Hey Hacker News! We are excited to share our open-source project, KTransformers, a flexible framework designed for cutting-edge LLM inference optimizations! Leveraging state-of-the-art kernels from llamafile and marlin, KTransformers seamlessly enhances the performance of HuggingFace Transformers, making it possible to operate large 236B MoE models or extremely long 1M context locally with promising speed. KTransformers is a Python-centric framework designed with extensibility at its core. By implementing and injecting an optimized module with a single line of code, users gain access to a…
2024 · github.com · its alternatives →
- 13
We're excited to announce that we've open-sourced LeanRL, a lightweight PyTorch reinforcement learning library that provides recipes for fast RL training using torch.compile and CUDA graphs. By leveraging these tools, we've achieved significant speed-ups compared to the original CleanRL implementations - up to 6x faster! Reinforcement learning is notoriously CPU-bound due to the high frequency of small CPU operations. PyTorch's powerful compiler can help alleviate these issues, but comes with its own costs. LeanRL addresses this challenge by providing simple recipes to accelerate your…
2024 · github.com · its alternatives →
- 14
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4. - fraware/leanverifier
2025 · github.com · its alternatives →
- 15
2015 · github.com · its alternatives →
- 16SF
I've made a small Python library, designed for quick-and-easy prototyping of machine learning models. It's built on top of scikit-learn, to serialize and deserialize data from the forms you're likely to have, to the format used in scikit-learn. https://github.com/madman-bob/Smart-Fruit It's pretty bare-bones at the moment, but I thought I'd see if there was any interest before spending too much time on it. Let me know what you think.
2018 · its alternatives →
- 17
Fast equality saturation in Haskell
2022 · hackage.haskell.org · its alternatives →
- 18
TLDR: A small, vendor-agnostic inference loop that turns token logprobs/perplexity/entropy into an extra pass and reasoning for LLMs. - Captures logprobs/top-k during generation, computes perplexity and token-level entropy. - Triggers at most one refine when simple thresholds fire; passes a compact “uncertainty report” (uncertain tokens + top-k alts + local context) back to the model. - In our tests on technical Q&A / math / code, a small model recovered much of “reasoning” quality at ~⅓ the cost while refining ~⅓ of outputs. I kept seeing “reasoning” models behave…
2025 · github.com · its alternatives →
- 19
a Pythonic toolkit for working with Boolean expressions - welchbj/tt
2016 · github.com · its alternatives →
- 20
An educational Rust project for exporting and running inference on Qwen3 LLM family - reinterpretcat/qwen3-rs
2025 · github.com · its alternatives →
- 21
A simple re-implementation of Google's sparsehash as a learning excercise. - qpfiffer/Simple-Sparsehash
2015 · github.com · its alternatives →
- 22
2017 · github.com · its alternatives →
- 23PL
Hi! I’ve been working on this automatic scanner for ML models to detect issues like underperforming data slices, overconfidence in predictions, robustness problems, and others. It supports all main Python ML frameworks (sklearn, torch, xgboost, …) and integrates with the quality assurance solution we are building at Giskard AI (https://giskard.ai) to systematically test models before putting them in production. It is still a beta and I would love to hear your feedback if you have the time to try it out. We have quite a few tutorials in the docs with ready-made colab notebooks to…
2023 · docs.giskard.ai · its alternatives →
- 24
A minimalist deep learning library written from scratch in Python - sradc/SmallPebble
2021 · github.com · its alternatives →
Also compare
- A Python with Hindley-Milner-like type annotations, compiling to C alternatives
- Hindley–Milner type inferencing in C alternatives
- Brancher – A user-friendly PyTorch module for probabilistic inference alternatives
- Timber – Ollama for classical ML models, 336x faster than Python alternatives
- We made our own inference engine for Apple Silicon alternatives
- Synthesize TikZ Graphics Programs for Scientific Figures and Sketches alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →