Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 18 Ocaml Type Inference Open Source Projects

Open source projects categorized as Ocaml Type Inference
Categories > Type Inference
Type Systems ⭐ 1,300
Implementations of various type systems in OCaml.
most recent commit 9 years ago
Type Inference ⭐ 295
The Hindley Milner Type Inference Algorithm
most recent commit 7 years ago
Tapl Scala ⭐ 161
Code from the book "Types and Programming Languages" in Scala
most recent commit 3 years ago
Bran ⭐ 94
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
most recent commit 9 years ago
Joujou ⭐ 64
A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
most recent commit 5 years ago
Lambda Dti ⭐ 20
Interpreter of the ITGL with dynamic type inference
most recent commit 6 months ago
Invargent ⭐ 14
Invariant Generation as Type Inference with GADTs and Existentials
most recent commit 8 years ago
Type Systems ⭐ 11
Playing with type systems
most recent commit 2 years ago
Flowcaml ⭐ 11
Flowcaml compiler
most recent commit 11 years ago
Superscript ⭐ 11
Do so much with so little - Arc inspired LISP which compiles to Javascript
most recent commit 6 years ago
Broom ⭐ 9
A programming language with first-class modules and algebraic effects.
most recent commit 2 years ago
Plfp ⭐ 8
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
most recent commit 4 years ago
Styff ⭐ 7
A functional programming language based on system F (omega) ft. NbE and higher order unification
most recent commit a year ago
Esca ⭐ 7
Esca is an experimental strongly-typed language which compiles to Go.
most recent commit 6 years ago
Gsrinfer ⭐ 6
A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset
most recent commit 7 years ago
Lunalang ⭐ 5
Luna is a general purpose language
most recent commit 9 months ago
Rbnf.hs ⭐ 5
Cross-language context-sensitive parsing with type inference, left recursion resolutions and decision tree optimizations.
most recent commit 4 years ago
Ad Hoc Poly ⭐ 5
Implementation of type classes
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.