The Windows-friendly distribution of OCaml
1 37 37
Algorithms to layout trees in a pretty manner.
0 36 36
Owl Tutorial Book V1
13 36 36
Ocaml binding generator for vulkan
2 36 36
᚛ A type of divination employed in attempts to locate identifiers matc...
4 36 36
Secure HSM implementation based on MirageOS
1 35 35
Schema definition and validation with support for decoding to bridge t...
4 35 35
Learn Ocaml by reading code examples
mini-dalle in OCaml
0 35 35
Abstract krivine machine implementing call-by-name semantics. In OCaml...
2 34 34
Language server for OCaml and Reason
0 34 34
HTTP/2 types and framing for ocaml
establish trust in community repositories, cryptographically signed b...
Iterated Function Systems fractals with OCaml.
1 34 34
An overlay for the OCaml Z3 binding.
9 34 34
OCaml bindings to the GSL (GNU Scientific Library).
8 34 34
Efficient Bloom filters for OCaml
7 34 34
Efficient caching library for OCaml
4 34 34
ReScript PPX which generates the JSON (de)serializers
A library for manipulating, creating and parsing GeoJSON
pyre-ast is an OCaml library to parse Python files. The library featu...
Pretty-printing for error source locations
5 34 34
[WIP] Yet another Erlang implementation in Rust
2 33 33
👨🏻💻 Command line interface for user input
1 33 33
Swagger 2.0 code generator for OCaml
10 33 33
Faithful reimplementation of Minisat 2.2 in OCaml.
directories is an OCaml library that provides configuration, cache and...
3 33 33
Petrol's an OCaml SQL API made to go FAST.
A CSS parser written in OCaml
4 32 32
📦🚀 BuckleScript dynamic import interop on JavaScript environment
1 32 32
A 2d geometry library for ocaml
5 32 32
Purely functional iterators compatible with standard `seq`.
Open records implemented using map over universal type
0 32 32
Firefox add-on to pin or unpin current tab in more efficient ways.
2 32 32
Playing with type systems
Cubic bezier implementation in Reason / OCaml.
3 31 31
A type-safe JavaScript promise library for ReasonML
1 31 31
OCaml parsers for Office Open XML and XLSX (Excel) documents
2 31 31
Owl's Differential Equation Solvers
6 31 31
OCaml types to Yaml types and back again
7 31 31
gRPC library for OCaml
5 31 31
An OCaml library for describing Protobuf messages
4 30 30
An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
7 30 30
:crayon::art:Composable and simple terminal highlighting package for...
1 30 30
(unreleased) Data validation with first-class and first-order labels i...
0 30 30
AIFAD - Automated Induction of Functions over Algebraic Data Types
2 30 30
[beta] A multi-consumer, multi-producers blocking queue and stream for...
9 30 30
Bytecode compiler of a variant of Caml
OCaml Build Infrastructure
8 30 30
Medium weight threads - preemptive thread pools for Lwt
