Type inference implementation in OCaml using Algorithm W
☆10Aug 26, 2021Updated 4 years ago
Alternatives and similar repositories for algorithm-w
Users that are interested in algorithm-w are comparing it to the libraries listed below
Sorting:
- loxomotive - A Lox Interpreter implemented in Haskell☆17Jan 8, 2022Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies☆35Updated this week
- EeZee Language - Compiler Engineering Basics☆36Updated this week
- A programming language with first-class modules and algebraic effects.☆14Dec 3, 2022Updated 3 years ago
- (Hopefully) a compiler for my first language named "Pie"☆22Feb 7, 2026Updated 3 weeks ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Match compilation algorithm in OCaml☆34Feb 24, 2025Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- a TUI app for chatting on Twitch☆12Dec 29, 2023Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆79Jan 20, 2022Updated 4 years ago
- ☆17Mar 5, 2023Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated 8 months ago
- Printing a book with HTML/CSS☆20Nov 16, 2019Updated 6 years ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 2 weeks ago
- A corpus of automatically graded exercises to learn functional programming in OCaml.☆31Jul 26, 2024Updated last year
- Wolfenstein 3D style game engine implemented in haskell☆29Mar 1, 2020Updated 6 years ago
- JOPA: Java compiler in C++☆71Dec 6, 2025Updated 2 months ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Feb 7, 2021Updated 5 years ago
- An LLM-first programming language.☆33Oct 6, 2025Updated 4 months ago
- Stub code generator for OCaml/C interface☆36Aug 1, 2025Updated 7 months ago
- Use Effect☆41Jan 8, 2025Updated last year
- Embeddable WebAssembly Interpreter for the JVM, written in Kotlin☆41Apr 19, 2021Updated 4 years ago
- EPython is a typed-subset of the Python for extending the language new builtin types and methods☆40Apr 22, 2022Updated 3 years ago
- Implementation of multi-armed bandits in Julia☆12Jan 12, 2020Updated 6 years ago
- Tools for automated grading of python assignments.☆10Jul 6, 2019Updated 6 years ago
- ☆15Feb 6, 2026Updated 3 weeks ago
- ☆12Dec 16, 2024Updated last year
- C-style preprocessor for OCaml☆109Feb 22, 2026Updated last week
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- ☆12May 22, 2016Updated 9 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- Hugo Theme - SK2 (Skeleton 2)☆11Aug 9, 2025Updated 6 months ago
- CalcPad served with redbean☆15Aug 18, 2022Updated 3 years ago
- The clickity clackity next-gen terminal.☆21Oct 18, 2025Updated 4 months ago