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
Sorting:
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 4 years ago
- A rich, simple, and efficient purely functional micro logging library for F#☆12May 22, 2024Updated last year
- ☆13Dec 15, 2023Updated 2 years ago
- 開発中のゲーム☆12Aug 24, 2021Updated 4 years ago
- L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.☆17Aug 20, 2021Updated 4 years ago
- Programming Language maxc☆37Oct 8, 2021Updated 4 years ago
- ☆19Oct 4, 2021Updated 4 years ago
- RISC-VのCPU作った☆20Oct 21, 2019Updated 6 years ago
- Nintendo Entertainment System emulator☆20Aug 21, 2020Updated 5 years ago
- Wave field synthesis spatial audio mixer☆27Jan 20, 2014Updated 12 years ago
- simple parser combinators for Common Lisp☆25Sep 24, 2017Updated 8 years ago
- The Depth programming language☆26Dec 31, 2019Updated 6 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 weeks ago
- A minimal terminal music player☆11Feb 19, 2022Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- Implementation of The Elm Architecture for Unity3D☆33Jun 12, 2020Updated 5 years ago
- Multi-core suitable Forth-like language☆37Mar 22, 2025Updated 11 months ago
- safe and easy programming for you☆10Sep 1, 2022Updated 3 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- HDRP-compatible shaders for Bakery☆15Jun 6, 2019Updated 6 years ago
- 1 weeks session at YCAM, Japan☆11Jun 11, 2020Updated 5 years ago
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆12May 30, 2023Updated 2 years ago
- A music player that lists and plays all .mp3 files in a given folder. Everything is written without any external code, except decoding of…☆11Feb 12, 2022Updated 4 years ago
- A browser extension overlays Hanyu Pinyin annotations over Chinese characters present in web pages and video closed captions.☆13Dec 7, 2025Updated 2 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- Trying to learn Wishbone by implementing few master/slave devices☆13Jan 7, 2019Updated 7 years ago
- Volume Rendering with OpenGL and GLSL☆10May 30, 2015Updated 10 years ago
- プログラミングの初歩を学んでもらうための無料教材☆14Sep 28, 2021Updated 4 years ago
- ☆44Feb 21, 2020Updated 6 years ago
- Alice's Arch Linux Live DVD, complete with KDE Plasma and tons of useful applications and utilities.☆10Dec 24, 2021Updated 4 years ago
- common lisp text processing tool☆13Updated this week
- small operating system☆11Apr 30, 2021Updated 4 years ago
- Happy Little Decision Tree☆16Jan 12, 2018Updated 8 years ago
- 🐔 Implementação da RINHA DE BACKEND 2023 Q3™ em Kotlin☆11Aug 27, 2023Updated 2 years ago
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago