semahawk / type-inferenceLinks
A Hindley-Milner(-Damas) type inference implementation in C.
☆13Updated 10 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:
- Multi-core suitable Forth-like language☆37Updated 10 months ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- Self-hosting F#-subset compiler☆48Updated 11 months ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- ☆17Updated 4 years ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- A self hosted whitespace compiler☆32Updated 5 years ago
- A statically typed functional programming language.☆46Updated 2 weeks ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆26Updated this week
- SML# compiler☆246Updated last month
- Hindley-Milner Type Inference☆12Updated 6 years ago
- Udon C Compiler: C compiler for our original CPU☆85Updated 9 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- The functional programming language for scalable development☆35Updated last year
- LISP1.5 implemened on top of Gauche☆24Updated 3 weeks ago
- ChickenClisp is a Scheme like language and interpreter. An Implementation of Orelang in D☆16Updated 2 years ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- Tiny c compiler☆60Updated 6 years ago
- Haskell x Android☆25Updated 3 years ago
- Minimal Lisp Interpreter☆58Updated 3 weeks ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 8 months ago
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- Programming language☆13Updated 5 years ago
- Eb is a embeddable scripting programming language written in Rust☆18Updated 4 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 11 months ago
- A C-like language designed to help write brainf*ck☆14Updated 6 years ago
- Nazo ML - my toy programming language☆58Updated 5 years ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated 2 years ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago