Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml type system
ocaml
x
type-system
x
16 search results found
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Labrys
⭐
91
A toy language based on LLVM that implements the System Fω type-system
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.
F Omega Mu
⭐
45
Fωμ type checker and compiler
Infrared
⭐
42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Definitelymaybetyped
⭐
35
TypeScript to js_of_ocaml
Plts
⭐
28
A collection of programming languages and type systems.
Toy Macro Ml
⭐
23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Heh
⭐
23
A programming language with infinite arrays
Kekka
⭐
14
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Anders
⭐
13
Anders: Cubical Type Checker
Ocaml Reddit Api
⭐
13
An OCaml wrapper to Reddit's API
Featherweight Java
⭐
13
An experimental implementation of (extended) featherweight-java (FJ) written in OCaml.
Type Systems
⭐
11
Playing with type systems
Flowcaml
⭐
11
Flowcaml compiler
Overture
⭐
8
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
Tapl Re
⭐
6
Types and programming languages in reason
Parentaljobs
⭐
5
Parents friendly jobs portal
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
C Ocaml (246)
Types Type System (228)
Javascript Ocaml (181)
Reactjs Ocaml (168)
1-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.