Hindley–Milner type inference implemented in Python.
☆12Jun 7, 2023Updated 2 years ago
Alternatives and similar repositories for hindley-milner-in-python
Users that are interested in hindley-milner-in-python are comparing it to the libraries listed below
Sorting:
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 5 months ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆47Updated this week
- Experimental Niko Language☆17Sep 6, 2020Updated 5 years ago
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated last year
- NatalieParser is a zero-dependency, from-scratch, hand-written recursive descent parser for the Ruby Programming Language.☆63Oct 8, 2023Updated 2 years ago
- An implementation of the YARV virtual machine in TypeScript.☆36Updated this week
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Velocity-Vortex—a fast and efficient algorithmic trading engine for the financial markets! This project is built using C++, showcasing a…☆14Feb 15, 2026Updated 2 weeks ago
- ☆22Feb 3, 2026Updated 3 weeks ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆94Nov 11, 2025Updated 3 months ago
- PCO Bot is a bot that integrates with the Planning Center Online API. It's built on Will Bot.☆14Mar 31, 2023Updated 2 years ago
- ☆15Feb 6, 2026Updated 3 weeks ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 months ago
- Extended globbing in modern C++☆12Dec 24, 2025Updated 2 months ago
- A library for incremental computations☆17Feb 22, 2026Updated last week
- Minimum Viable Blockchain in Python☆10Apr 1, 2018Updated 7 years ago
- A Python module to speed up TeX compilation.☆17May 1, 2024Updated last year
- using hyperkit to create a local docker engine for macOS to replace Docker Desktop☆10Sep 11, 2021Updated 4 years ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆13Oct 17, 2025Updated 4 months ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Disassembly viewer for Vim☆10Mar 12, 2018Updated 7 years ago
- Simple, performant data pipelines.☆10Jan 6, 2022Updated 4 years ago
- Complete rewrite of mysh basic shell interpreter to rust programming Language.☆14May 13, 2021Updated 4 years ago
- A Flask web app that integrates Tesseract OCR to extract text from image files.☆10May 14, 2023Updated 2 years ago
- Hugo Theme - SK2 (Skeleton 2)☆11Aug 9, 2025Updated 6 months ago
- an informative progress bar for Python 2+3 command-line tools☆12Nov 18, 2019Updated 6 years ago
- WasmBox is an embeddable WebAssembly runtime, with a focus on portability, compact footprint, and performance.☆10Aug 21, 2021Updated 4 years ago
- Groho (গ্রহ) is a simulator for inter-planetary travel☆12Jul 15, 2020Updated 5 years ago
- Extended docker build tool.☆16Jun 12, 2023Updated 2 years ago
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- A small implementation of a regular expression matching engine, written in standard C11.☆13Jan 4, 2017Updated 9 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 4 months ago
- General purpose buffer for use with building JITs☆19Oct 13, 2023Updated 2 years ago
- A Python JIT compiler☆12May 29, 2019Updated 6 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- A bot to sync a public repo which is a folder in a (mono)repo.☆14Feb 1, 2023Updated 3 years ago
- Adaption of subnixr's minimal zsh theme for zimfw☆12Feb 18, 2019Updated 7 years ago
- A document management tool☆11Nov 7, 2022Updated 3 years ago