zfy0701 / hindley-milnerView external linksLinks
A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
☆17May 13, 2013Updated 12 years ago
Alternatives and similar repositories for hindley-milner
Users that are interested in hindley-milner are comparing it to the libraries listed below
Sorting:
- ☆18Dec 28, 2018Updated 7 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 10 years ago
- Golang Port of LLVM's Kaleidoscope Tutorial☆29Dec 19, 2014Updated 11 years ago
- Measure disk speed from Python. Disk can be SSD, HDD, NAS, Cloud, etc☆12May 23, 2015Updated 10 years ago
- Types and Programming Languages☆37Aug 11, 2014Updated 11 years ago
- Match tokenized words and phrases within the original, untokenized, often messy, text.☆19Apr 11, 2023Updated 2 years ago
- The Python SDK for accessing various Merge Unified APIs☆14Jan 21, 2026Updated 3 weeks ago
- Wildfire detection on edge devices☆13Jan 7, 2026Updated last month
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- CNN Image Retrieval Model Weights Ported☆11Jun 2, 2018Updated 7 years ago
- ☆12Nov 7, 2023Updated 2 years ago
- This tutorial explains how to build a web application using Go in less than 20 minutes.☆10Jan 21, 2019Updated 7 years ago
- A Graphics2D implementation targeting SWT☆10Sep 22, 2021Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Compiler for the Tiger programming language☆12Oct 27, 2018Updated 7 years ago
- ☆15Nov 8, 2021Updated 4 years ago
- ☆10Mar 16, 2024Updated last year
- Reusable typesafe kubernetes configurations with fast development cycle and no yaml☆11Jun 16, 2020Updated 5 years ago
- Haskell graph library☆10Dec 18, 2017Updated 8 years ago
- Weave networking and consul service discovery for docker clusters☆13Mar 2, 2015Updated 10 years ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- Scala implementation of data structures from Chris Okasaki's book☆42May 5, 2019Updated 6 years ago
- A compiler for a Lisp dialect☆23Updated this week
- ☆10Jul 15, 2024Updated last year
- an attempt at implementing the PBFT algorithm in Go☆12Nov 15, 2016Updated 9 years ago
- Simple plugin for Chartist.js that will add vertical line with optional label in a line chart.☆10May 11, 2015Updated 10 years ago
- PKV is an implementation of Partial Key Verification in Go☆13Jul 25, 2020Updated 5 years ago
- SecureLocalStorage for .NET: A simple and lightweight extension that allows you to safely store data locally.☆12Nov 11, 2023Updated 2 years ago
- LibraBlock.io frontend in React☆12Jan 4, 2023Updated 3 years ago
- basic library for distributing files via docker☆13May 28, 2025Updated 8 months ago
- A small bottle chat application.☆22Sep 16, 2011Updated 14 years ago
- Super fast gRPC server framework in synchronous mode.☆29Jan 25, 2026Updated 3 weeks ago
- 哈利波特里的魂器☆11Apr 21, 2019Updated 6 years ago
- ☆12Apr 22, 2024Updated last year
- ☆11Aug 28, 2019Updated 6 years ago
- Practice for Machine Learning in Production course☆13Jun 7, 2025Updated 8 months ago
- Class File Reader - a Java class file parser☆18May 26, 2013Updated 12 years ago
- Cryptocompare Golang API client☆15Jul 4, 2019Updated 6 years ago
- ☆13Nov 13, 2023Updated 2 years ago