Hindley-Milner Type Inference
☆12Dec 29, 2019Updated 6 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:
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- ☆22Dec 15, 2023Updated 2 years ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 years ago
- ☆13Dec 15, 2023Updated 2 years ago
- A set of Lisp-1 implementations that share the VM instruction set, built-in functions, and the bootstrapping code☆23Jun 6, 2024Updated last year
- RISC-VのCPU作った☆20Oct 21, 2019Updated 6 years ago
- Nintendo Entertainment System emulator☆20Aug 21, 2020Updated 5 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Mar 15, 2017Updated 8 years ago
- optimizing compiler for a subset of C language☆35Oct 7, 2019Updated 6 years ago
- A CRUD PROJECT BASED ON FLUTTER☆19Mar 8, 2023Updated 2 years ago
- ☆11Feb 23, 2026Updated last week
- Multi-core suitable Forth-like language☆37Mar 22, 2025Updated 11 months ago
- Printf group project☆12Oct 29, 2023Updated 2 years ago
- ☆12Aug 31, 2023Updated 2 years ago
- This is small but powerful lib with which one can manage runtime permissions 1 line.☆10Jul 5, 2020Updated 5 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
- Points: 100 Topics: Graphs, topological sort, freedom to decide how to represent data and organize code (while still reading in a graph a…☆10Sep 3, 2022Updated 3 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- Fix missing Linux firmware kernel modules!☆17Jan 1, 2024Updated 2 years ago
- Flutter RealWorld Example App by Zendy☆14Dec 22, 2022Updated 3 years ago
- 自作言語処理系のコンパイラ制作☆43Feb 23, 2019Updated 7 years ago
- HDRP-compatible shaders for Bakery☆15Jun 6, 2019Updated 6 years ago
- Programming Language maxc☆37Oct 8, 2021Updated 4 years ago
- An implementation of the Hindley-Milner type system in Rust.☆43Jan 2, 2017Updated 9 years ago
- A notational semantic for documenting neural networks through diagrams☆15Aug 5, 2023Updated 2 years ago
- A magical vue admin☆12Mar 6, 2023Updated 2 years ago
- Asset exporter tools for Oryol engine☆10May 12, 2020Updated 5 years ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- This repository features a collection of simple websites built using HTML5 and CSS3. Each project demonstrates fundamental web design pri…☆10Sep 14, 2024Updated last year
- Mirror of https://c9x.me/git/qbe.git☆11Jun 16, 2022Updated 3 years ago
- Using React☆14Oct 12, 2023Updated 2 years ago
- A library for incremental computations☆17Feb 22, 2026Updated last week
- Text diffing in zig☆14Feb 15, 2023Updated 3 years ago
- Code for "The Layer Laboratory: A Calculus for Additive and Subtractive Composition of Anisotropic Surface Reflectance" (SIGGRAPH 2018) b…☆10Apr 7, 2021Updated 4 years ago
- Happy Little Decision Tree☆16Jan 12, 2018Updated 8 years ago
- A web extension that can inject CSS and JS snippets into your current browser tab.☆14Mar 2, 2025Updated last year
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆14Apr 7, 2023Updated 2 years ago
- Elmer compiler☆12Oct 17, 2016Updated 9 years ago