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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Hindley Milner Type Inference in Rust☆11Oct 4, 2017Updated 9 years ago
- Some common algorithms and data structures implemented in the Scheme programming language.☆11Apr 27, 2022Updated 4 years ago
- Scrapbox's UserScript to suggest and insert icons☆10Oct 1, 2026Updated 3 weeks ago
- Haskell bindings to Chez Scheme☆11Sep 4, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆22Dec 15, 2023Updated 2 years ago
- ☆12Sep 20, 2020Updated 6 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 4 years ago
- A set of Lisp-1 implementations that share the VM instruction set, built-in functions, and the bootstrapping code☆23Jun 6, 2024Updated 2 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 4 years ago
- Text diffing in zig☆14Feb 15, 2023Updated 3 years ago
- a better pattern matching macro for janet☆14Aug 4, 2024Updated 2 years ago
- A TOML parser implementation in Racket.☆10Aug 19, 2019Updated 7 years ago
- optimizing compiler for a subset of C language☆35Oct 7, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An implementation of the Hindley-Milner type system in Rust.☆42Jan 2, 2017Updated 9 years ago
- libs_qrem is a python package written in C++/Cython that executes quantum readout error mitigation (QREM) efficiently even for large meas…☆12Jan 10, 2026Updated 9 months ago
- Cross-platform discrete wavelet transform library☆12Sep 5, 2019Updated 7 years ago
- Lecture: Data Compression in Computational Science and Quantum Computing (計算科学・量子計算における情報圧縮)☆13Jan 18, 2023Updated 3 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 12 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Mar 15, 2017Updated 9 years ago
- A Scheme to CPS to C compiler in Python☆13Sep 3, 2010Updated 16 years ago
- A strongly-typed handy scripting language with type inference☆14Aug 31, 2018Updated 8 years ago
- A CRUD PROJECT BASED ON FLUTTER☆19Mar 8, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 10 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 9 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
- 自作言語処理系のコンパイラ制作☆43Feb 23, 2019Updated 7 years ago
- ☆12Jun 13, 2023Updated 3 years ago
- An example X Windows OpenGL application using GLX and XSync extended frame synchronization☆12Dec 15, 2025Updated 10 months ago
- WebAssembly model in Redex☆16May 16, 2019Updated 7 years ago
- In this Hands-On Guide On IBM's Quantum Open Science Prize 2021, we will go through all the things you'll need. It's an exciting journey …☆13Apr 11, 2022Updated 4 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Elm eureka is a rust library for parsing elm projects and elm code.☆10May 6, 2018Updated 8 years ago
- A pattern match macro for chez-scheme☆19Mar 4, 2017Updated 9 years ago
- SNES emulator written in Go. (based on LakeSNES)☆12Jul 23, 2023Updated 3 years ago
- Programming Language maxc☆37Oct 8, 2021Updated 5 years ago
- Idris libraries for hybrid classical-quantum programming☆15Feb 5, 2023Updated 3 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- Elmer compiler☆12Oct 17, 2016Updated 10 years ago