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
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77most recent commit 3 months agopypi pyre-check} Downloads
Type Systems ⭐ 1,300
Implementations of various type systems in OCaml.
most recent commit 9 years ago
Austral ⭐ 946
Systems language with linear types and capability-based security.
most recent commit 4 months ago
Rhine Ml ⭐ 621
🏞 an OCaml compiler for an untyped lisp
most recent commit 9 years ago
Bolt ⭐ 494
Bolt is a language with in-built data-race freedom!
most recent commit 5 months ago
Reason Design Patterns ⭐ 453
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
most recent commit a year ago
Type Inference ⭐ 295
The Hindley Milner Type Inference Algorithm
most recent commit 7 years ago
Eliom ⭐ 293
Multi-tier framework for programming web and mobile applications in OCaml.
most recent commit 4 months ago
Atd ⭐ 282
Static types for JSON APIs
most recent commit 5 months ago
Reason Graphql Fullstack ⭐ 240
Fullstack Reason + GraphQL Todo List App
most recent commit 5 years ago
Spartan Type Theory ⭐ 236
Spartan type theory
most recent commit 10 months ago
Ocaml Rs ⭐ 220
OCaml extensions in Rust
dependent packages 2total releases 73most recent commit 9 months agocargo ocaml} Downloads
Redtt ⭐ 183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
most recent commit 2 years ago
Dedukti ⭐ 178
Implementation of the λΠ-calculus modulo rewriting
most recent commit 4 months ago
C11parser ⭐ 171
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
most recent commit 10 months ago
Philip2 ⭐ 168
An Elm to OCaml compiler
most recent commit 4 years ago
Reasonml Cheat Sheet ⭐ 165
A cheat sheet for ReasonML -- WIP
most recent commit 5 years ago
1ml ⭐ 163
1ML prototype interpreter
most recent commit 5 years ago
Pgocaml ⭐ 149
PG'OCaml provides an interface to PostgreSQL databases for OCaml applications. It uses Camlp4 to extend the OCaml syntax, enabling one to directly embed SQL statements inside the OCaml code.
most recent commit 7 months ago
Mlsub ⭐ 137
Prototype type inference engine
most recent commit 4 years ago
Tyre ⭐ 136
Typed Regular Expressions
most recent commit 4 years ago
Stanc3 ⭐ 132
The Stan transpiler (from Stan to C++ and beyond).
total releases 1most recent commit 3 months ago
Vcaml ⭐ 129
OCaml bindings for the Neovim API
most recent commit 6 months ago
The 9 Most Depended On Types Ocaml Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Ppx_deriving_protobuf ⭐ 74
A Protocol Buffers codec generator for OCaml
dependent packages 5total releases 7latest release March 14, 2017most recent commit 3 years agonpm bs-ppx_deriving_protobuf} Downloads
Let Anything ⭐ 101
Deprecated, use the reasonml-community one
dependent packages 5total releases 4latest release November 12, 2018most recent commit 4 years agonpm let-anything} Downloads
Bs Nonempty ⭐ 5
NonEmpty type with Array and List implementations for ReasonML and OCaml
dependent packages 3total releases 6latest release October 23, 2018most recent commit 6 years agonpm bs-nonempty} Downloads
Ocaml Rs ⭐ 220
OCaml extensions in Rust
dependent packages 2total releases 73latest release January 21, 2023most recent commit 9 months agocargo ocaml} Downloads
Types As Schema ⭐ 40
Genetate json schema, protobuf file, graphQL schema and reasonml/ocaml/rust types from typescript types.
dependent packages 2total releases 113latest release December 11, 2022most recent commit a year agonpm types-as-schema} Downloads
Color Re ⭐ 10
Reason color converter
dependent packages 2total releases 6latest release July 24, 2018most recent commit 6 years agonpm color-re} Downloads
Flowest ⭐ 8
Convert Flow declarations to TypeScript
dependent packages 2total releases 1latest release April 26, 2019most recent commit 5 years agonpm flowest} Downloads
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
The 10 Latest Releases In Types Ocaml Open Source Projects
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Ocaml Rs ⭐ 220
OCaml extensions in Rust
dependent packages 2total releases 73latest release January 21, 2023most recent commit 9 months agocargo ocaml} Downloads
Types As Schema ⭐ 40
Genetate json schema, protobuf file, graphQL schema and reasonml/ocaml/rust types from typescript types.
dependent packages 2total releases 113latest release December 11, 2022most recent commit a year agonpm types-as-schema} Downloads
Stanc3 ⭐ 132
The Stan transpiler (from Stan to C++ and beyond).
total releases 1latest release May 11, 2022most recent commit 3 months ago
Flowest ⭐ 8
Convert Flow declarations to TypeScript
dependent packages 2total releases 1latest release April 26, 2019most recent commit 5 years agonpm flowest} Downloads
Let Anything ⭐ 101
Deprecated, use the reasonml-community one
dependent packages 5total releases 4latest release November 12, 2018most recent commit 4 years agonpm let-anything} Downloads
Bs Nonempty ⭐ 5
NonEmpty type with Array and List implementations for ReasonML and OCaml
dependent packages 3total releases 6latest release October 23, 2018most recent commit 6 years agonpm bs-nonempty} Downloads
Color Re ⭐ 10
Reason color converter
dependent packages 2total releases 6latest release July 24, 2018most recent commit 6 years agonpm color-re} Downloads
Infrared ⭐ 42
:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
dependent packages 2total releases 1latest release July 03, 2018most recent commit 3 years agonpm infrared-core} Downloads
Ocaml Export ⭐ 12
Export Haskell type and aeson serializations to OCaml BuckleScript
total releases 9latest release June 05, 2018most recent commit 5 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.