ocaml
Repositories (1383)
A library for manipulation of IP (and MAC) address representations
Effect-Driven Compiler Tester for OCaml
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and W...
A comprehensive Neovim plugin for OCaml development with intelligent sandbox detection, LSP integration, and comprehensive filetype support.
Generates random text based on context-free grammars defined in BNF
BuckleScript binding for Phoenix Channel/Presence
Off-the-record (OTR) messaging protocol, purely in OCaml
Algorithms and Data Structures in ReasonML
A simple example of a ppx with Reason and esy
OCaml build rules for Bazel
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
Using OCaml + gRPC via Envoy
Probabilistic data structures for OCaml
OCaml multimedia library
Faithful reimplementation of Minisat 2.2 in OCaml.
mini-dalle in OCaml
Pretty-printing for error source locations
A monadic library for creating synthesizers in OCaml.
An OCaml based implementation of a Quil QVM
Efficient Bloom filters for OCaml
Tool to generate test-cases for regular expression engines
🦠 An experimental elaborator for dependent type theory using effects and handlers
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
Fullstack Reason app using ReasonReact and Sihl.
🐙 Code-generated, Auto-versioned, & Smart Web APIs
👨🏻💻 Command line interface for user input
Secure HSM implementation based on MirageOS
establish trust in community repositories, cryptographically signed by library authors
An overlay for the OCaml Z3 binding.
[research] A modular SMT solver in OCaml, based on mcSAT
Owl's Differential Equation Solvers
Functional kernel written in OCaml.
Ocaml From The Very Beginning solved with Reason instead of Ocaml
Algorithms to layout trees in a pretty manner.
Owl Tutorial Book V1
Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
A 2d geometry library for ocaml
Open records implemented using map over universal type
A Bazel Language Support Package for OCaml
Command-line client for Elasticsearch written in OCaml
A Firefox extension to easily toggle between browser fonts and webpage fonts
A GLFW binding for OCaml.
OCaml bindings to the GSL (GNU Scientific Library).
OCaml parsers for Office Open XML and XLSX (Excel) documents
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
Stdcompat: compatibility module for OCaml standard library
Common interface for tracing/instrumentation libraries in OCaml
IO for Gallina
Library of Raft consensus algorithm implemented in OCaml