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:
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- A statically typed functional programming language.☆46Updated last week
- Multi-core suitable Forth-like language☆37Updated 8 months ago
- A Lisp implementation in which a lot of language features are self-definable.☆18Updated 6 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- Self-hosting F#-subset compiler☆48Updated 10 months ago
- A purely functional programming language based on higher-order polymorphic lambda calculus☆22Updated last year
- A self hosted whitespace compiler☆32Updated 5 years ago
- Derived from Ypsilon (fujita-y/ypsilon) for experimental research☆26Updated 3 years ago
- Haskell x Android☆25Updated 3 years ago
- ☆17Updated 4 years ago
- SML# compiler☆244Updated last week
- Programming language☆13Updated 5 years ago
- The functional programming language for scalable development☆35Updated 11 months ago
- optimizing compiler for a subset of C language☆35Updated 6 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- A Formal Verification of Algorithm W☆17Updated 4 years ago
- 小さい計算体系をシンプルに定義できるような言語をつくりたい☆16Updated last month
- Example of Language Server Protocol (LSP) server implementation for obvious language as first step☆17Updated 3 years ago
- the peachili( Peach + Chili) programming language☆11Updated 4 years ago
- Hindley-Milner Type Inference☆12Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 7 months ago
- PackCC is a packrat parser generator for C.☆26Updated 6 years ago
- Nazo ML - my toy programming language☆58Updated 5 years ago
- Transcompiler for lua and go.☆33Updated last year
- functional programming language and its compiler☆18Updated 6 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated 9 months ago
- Udon C Compiler: C compiler for our original CPU☆85Updated 9 years ago
- An experimental Lisp-like programming language☆162Updated 2 years ago