Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Ocaml Open Source Projects

Open source projects categorized as Types Ocaml
Ocaml Orm Sqlite ⭐ 19
Development repository: the main repo is at http://github.com/mirage/orm : Generates convenient, statically type-safe accessor methods for databases
most recent commit 12 years ago
Linocaml ⭐ 19
Monad-based linear types in OCaml, with a few syntax extensions
most recent commit 5 years ago
Ptt ⭐ 19
Experimental type-checker for internally parametric type theory
most recent commit 3 years ago
Mindless Coding Phase2 ⭐ 18
Mindless, verified (erasably) coding using dependent types, phase 2
most recent commit 4 years ago
Pumping ⭐ 18
Regular languages in types
most recent commit 7 years ago
Latro ⭐ 17
A simple, general-purpose functional programming language
most recent commit 7 years ago
Ppx_stable ⭐ 17
Stable types conversions generator
most recent commit 6 months ago
Protocell ⭐ 16
Conjures up convenient OCaml types and serialization functions based on protobuf definition files
most recent commit 5 years ago
Rational_in_types ⭐ 16
Type-level rational puzzles in OCaml
most recent commit 8 years ago
Inverse Bidirectional Typechecking ⭐ 15
A Toy Inverse Bidirectional Typechecker
most recent commit 5 years ago
Bs Remotedata ⭐ 15
RemoteData and WebData to use with bs-fetch for BuckleScript
most recent commit 5 years ago
Silk ⭐ 15
most recent commit 6 years ago
Ocaml Exploit ⭐ 14
A collection of useful functions to write an exploit in OCaml
most recent commit 10 years ago
Kekka ⭐ 14
An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
most recent commit 3 years ago
Ppx_type_conv ⭐ 14
Deprecated, use ocaml-ppx/ppxlib instead
most recent commit 6 years ago
Ocaml Type Classes ⭐ 13
OCaml Type Classes
most recent commit 3 years ago
Order ⭐ 12
Comparison and ordering of ReasonML/OCaml values.
most recent commit 4 years ago
Ocaml Unix Errno ⭐ 12
Unix errno types, maps, and support for OCaml
most recent commit a year ago
Sessions ⭐ 12
Library to provide session types to allow for static verification of protocols between concurrent computations.
most recent commit 7 years ago
Ocaml Export ⭐ 12
Export Haskell type and aeson serializations to OCaml BuckleScript
total releases 9most recent commit 5 years ago
Ppx_factory ⭐ 12
OCaml preprocessor to derive factory methods and default values from type definitions
most recent commit 2 years ago
Mirage Tc ⭐ 12
Type-classes for mirage applications
most recent commit 8 years ago
Total ⭐ 11
most recent commit 8 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.