A Hindley-Milner(-Damas) type inference implementation in C.
☆13Nov 13, 2015Updated 10 years ago
Alternatives and similar repositories for type-inference
Users that are interested in type-inference are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- Trying to learn Wishbone by implementing few master/slave devices☆13Jan 7, 2019Updated 7 years ago
- Programming Language maxc☆37Oct 8, 2021Updated 5 years ago
- The Depth programming language☆25Dec 31, 2019Updated 6 years ago
- Scrapbox's UserScript to suggest and insert icons☆10Oct 1, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- A DSL for parsing and assembling binary data.☆14Sep 1, 2026Updated last month
- ☆12Sep 20, 2020Updated 6 years ago
- A rich, simple, and efficient purely functional micro logging library for F#☆12May 22, 2024Updated 2 years ago
- embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.has…☆13Feb 7, 2021Updated 5 years ago
- music dsp library written in Rust with a focus on performance and elegancy☆17Jan 22, 2025Updated last year
- Hugin. The type-1 hypervisor on aarch64.☆13Oct 13, 2025Updated last year
- Cross-platform discrete wavelet transform library☆12Sep 5, 2019Updated 7 years ago
- Geo programming language based on https://interpreterbook.com/☆14Jan 2, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆13May 30, 2023Updated 3 years ago
- A tiny "network protocol" built for entertainment, and also to be lightweight enough for a lot of small usecases.☆14Mar 25, 2022Updated 4 years ago
- An implementation of Pratt Parsing (Vaughn Pratt 1973 "Top Down Operator Precedence") in C/C++☆13May 4, 2024Updated 2 years ago
- An example X Windows OpenGL application using GLX and XSync extended frame synchronization☆12Dec 15, 2025Updated 10 months ago
- 1 weeks session at YCAM, Japan☆11Jun 11, 2020Updated 6 years ago
- Zig bindings for the `libuv` library☆13Jan 19, 2023Updated 3 years ago
- Wave field synthesis spatial audio mixer☆28Jan 20, 2014Updated 12 years ago
- ☆13Jul 6, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Continuation-passing style and closure conversion transforms for r6rs scheme.☆13Sep 5, 2011Updated 15 years ago
- A unified repo for Stride language development☆12Updated this week
- A small simple webserver for Self☆13May 2, 2020Updated 6 years ago
- skipifzero technologies, core libraries, game engines, graphics apis, etc☆16Apr 15, 2023Updated 3 years ago
- The BSD community linklog☆11Oct 16, 2026Updated last week
- Global optimization without derivatives☆13Dec 13, 2020Updated 5 years ago
- bootcamp sfpc 2018☆11Sep 7, 2018Updated 8 years ago
- HoaLibrary for FAUST☆13Jan 21, 2020Updated 6 years ago
- 🛠 [WIP] An emulator for Nintendo Entertainment System written in Rust☆13Sep 24, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Core rendering system of ragnar☆18May 31, 2026Updated 4 months ago
- vm and compiler for a small lisp☆12Aug 28, 2021Updated 5 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- ⚡ The fastest line counter. At least on my computer.☆17Jul 5, 2025Updated last year
- Portable threads API for Common Lisp (from GBBopen project)☆13May 23, 2021Updated 5 years ago
- Common Hackable Adaptable Operating System☆14Sep 25, 2020Updated 6 years ago
- go 个人博客系统☆10Sep 27, 2020Updated 6 years ago