Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types ocaml
ocaml
x
types
x
84 search results found
Pyre Check
⭐
6,606
Performant type-checking for python.
Type Systems
⭐
1,300
Implementations of various type systems in OCaml.
Austral
⭐
946
Systems language with linear types and capability-based security.
Rhine Ml
⭐
621
🏞 an OCaml compiler for an untyped lisp
Bolt
⭐
494
Bolt is a language with in-built data-race freedom!
Reason Design Patterns
⭐
453
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
Type Inference
⭐
295
The Hindley Milner Type Inference Algorithm
Eliom
⭐
293
Multi-tier framework for programming web and mobile applications in OCaml.
Atd
⭐
282
Static types for JSON APIs
Reason Graphql Fullstack
⭐
240
Fullstack Reason + GraphQL Todo List App
Spartan Type Theory
⭐
236
Spartan type theory
Ocaml Rs
⭐
220
OCaml extensions in Rust
Redtt
⭐
183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Dedukti
⭐
178
Implementation of the λΠ-calculus modulo rewriting
C11parser
⭐
171
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
Philip2
⭐
168
An Elm to OCaml compiler
Reasonml Cheat Sheet
⭐
165
A cheat sheet for ReasonML -- WIP
1ml
⭐
163
1ML prototype interpreter
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.
Mlsub
⭐
137
Prototype type inference engine
Tyre
⭐
136
Typed Regular Expressions
Stanc3
⭐
132
The Stan transpiler (from Stan to C++ and beyond).
Vcaml
⭐
129
OCaml bindings for the Neovim API
Lwd
⭐
124
Lightweight document
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Coq Elpi
⭐
117
Coq plugin embedding elpi
Coral
⭐
116
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
Gospel
⭐
108
A tool-agnostic formal specification language for OCaml.
Nbe For Mltt
⭐
107
Normalization by Evaluation for Martin-Löf Type Theory
Ppx_rapper
⭐
102
Syntax extension for writing SQL in OCaml
Let Anything
⭐
101
Deprecated, use the reasonml-community one
Ocaml Github
⭐
99
GitHub APIv3 OCaml bindings
Lasca Compiler
⭐
97
Lasca is Scala shifted towards Haskell.
Bran
⭐
94
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
Ocaml Rpc
⭐
90
Light library to deal with RPCs in OCaml
Blott
⭐
87
An experimental type checker for a modal dependent type theory.
Ppx_import
⭐
84
Less redundancy in type declarations and signatures
Ppx_deriving_cmdliner
⭐
82
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
Sott
⭐
79
Simplified Observational Type Theory
Ppx_deriving_protobuf
⭐
74
A Protocol Buffers codec generator for OCaml
Slap
⭐
73
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Diamondback Ruby
⭐
72
⛑ Fork of diamondback-ruby
The Little Mler
⭐
72
All the ML code examples from the book "The Little MLer"
Reason Basics
⭐
71
Notes and samples for understanding the basics of ReasonML.
Bin_prot
⭐
70
Binary protocol generator
Pure
⭐
65
A pure type system implemented in OCaml
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.
Ocamlcheatsheet
⭐
60
Reference of basic commands to get comfortable with OCaml.
Ppx_graphql
⭐
57
Type-safe GraphQL queries in OCaml
Silk
⭐
56
The Silk Programming Language
Depyt
⭐
49
Yet another type combinator library
Ocaml Mariadb
⭐
49
OCaml bindings to MariaDB, supporting the nonblocking API
Ppx_yojson_conv
⭐
48
[@@deriving] plugin to generate Yojson conversion functions
Orm
⭐
45
Object Relational Mapper extension
Ocaml Protoc Plugin
⭐
45
ocaml-protoc-plugin
Conan
⭐
43
Like detective conan, find clue about the type of the file
Furl
⭐
43
Formatted url
Infrared
⭐
42
✨🚀 Blazing fast, inferred static type checker for JavaScript.
Reason Project Ideas
⭐
41
Gg
⭐
40
Basic types for computer graphics in OCaml
Refl
⭐
40
OCaml PPX deriver for reflection
Ppx_variants_conv
⭐
40
Generation of accessor and iteration functions for ocaml variant types
Types As Schema
⭐
40
Genetate json schema, protobuf file, graphQL schema and reasonml/ocaml/rust types from typescript types.
Re Typescript
⭐
39
An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.
Gmap
⭐
38
heterogenous Map over a GADT
Olivine
⭐
36
Ocaml binding generator for vulkan
Ocaml Bimage
⭐
36
Composable image processing library for OCaml
Crdt Ml
⭐
35
CRDTs - Conflict-Free Replicated Data Types for OCaml
Dowsing
⭐
35
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Macaque
⭐
34
Ppx_mysql
⭐
33
ppx_mysql
Ppx_deriving_yaml
⭐
33
OCaml types to Yaml types and back again
Higher_kinded
⭐
33
A library with an encoding of higher kinded types in OCaml
Conformist
⭐
32
Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
Obc 3
⭐
31
Oxford Oberon-2 compiler
Session Ocaml
⭐
31
An implementation of binary session types in OCaml
Aifad
⭐
30
AIFAD - Automated Induction of Functions over Algebraic Data Types
Ppx_jsobject_conv
⭐
30
ppx rewriter for [@@deriving jsobject]
Quantum_package
⭐
30
Set of quantum chemistry programs and libraries
Subsetphp
⭐
28
A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler
Prometo
⭐
28
A type-safe JavaScript promise library for ReasonML
Syncweb
⭐
28
literate programming meets unison
Repr
⭐
27
Records
⭐
25
Dynamic records in OCaml
Ocaml Magic Mime
⭐
24
Convert file extensions to MIME types
Ppx_enumerate
⭐
24
Generate a list containing all values of a finite type
Ppx_measure
⭐
23
Type safe unit of measure in OCaml with ppx
Otp
⭐
23
F#-style Type Providers in OCaml
Orec
⭐
23
Open records implemented using map over universal type
Numlin
⭐
23
NumLin: Linear Types for Linear Algebra
Unboxed
⭐
22
Unboxed arrays for OCaml
Ppx_compare
⭐
21
Generation of comparison functions from types
Reason Graphql Experiment
⭐
21
Reason + GraphQL Fullstack (Native) experiment with Now 2.0
Lrt
⭐
21
LexiFi runtime types
Ocaml Cats
⭐
20
Signatures of the category theoretic style; a experiment in flattery
Dfuzz
⭐
20
Linear Dependent Types for Differential Privacy TypeChecker
Bs Protobuf Demo
⭐
20
Demo project for using Protobuf message with BuckleScript
Lambda Dti
⭐
20
Interpreter of the ITGL with dynamic type inference
Ppx_csv_conv
⭐
19
Generate functions to read/write records in csv format
Logical
⭐
19
Minimalistic logic programming framework
Related Searches
Javascript Types (8,178)
Typescript Types (2,606)
Python Types (2,536)
Php Types (1,921)
Java Types (1,598)
C Plus Plus Types (1,282)
Golang Types (1,257)
C Sharp Types (1,177)
Plugin Types (1,152)
Json Types (1,128)
1-84 of 84 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.