zfy0701 / hindley-milner
A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala
☆17Updated 11 years ago
Related projects: ⓘ
- ☆36Updated last month
- This project's lifetime has ended. The successor is https://github.com/thautwarm/frontend-for-free which is WIP. You can check lark-parse…☆40Updated 5 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- Cool Compiler for MIPS written in Haskell☆16Updated 11 years ago
- A parser combinator library based on the GLL algorithm☆302Updated 2 months ago
- The compiler for subset of scheme developed as part of P523☆31Updated 7 years ago
- Incremental implementation of a scheme compiler☆29Updated 11 years ago
- Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel☆101Updated 9 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- Distributed Programming Abstractions☆16Updated 5 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Updated 4 years ago
- Genius programmer should write his own lisp!☆50Updated last week
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Write your generalized parser combinator in 60 lines and extend it.☆12Updated 3 years ago
- Go! Lisp in OCaml☆75Updated 11 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- ☆34Updated this week
- ☆84Updated 3 years ago
- A Go implementation of the Shen programming language☆55Updated last year
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- some old code about scheme compiler I've ever wrote☆14Updated last year
- Code from the book "Types and Programming Languages" in Scala☆176Updated 2 years ago
- ☆49Updated 11 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- programming languages invented/implemented by myself.☆8Updated last year
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- Bytecode compiler of a variant of Caml☆31Updated 9 years ago
- Lightweight affine types and object capabilities in Scala☆31Updated 5 years ago