ocaml
Repositories (1356)
OCaml build rules for Bazel
Probabilistic data structures for OCaml
A library for incremental desktop applications
Faithful reimplementation of Minisat 2.2 in OCaml.
mini-dalle in OCaml
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and W...
[research] A modular SMT solver in OCaml, based on mcSAT
User interface widgets for OCaml applications
♾️ A library for universe levels and universe polymorphism
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
An OCaml based implementation of a Quil QVM
Secure HSM implementation based on MirageOS
Efficient Bloom filters for OCaml
Tool to generate test-cases for regular expression engines
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
The OCaml findlib library manager
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
OCaml multimedia library
Fullstack Reason app using ReasonReact and Sihl.
🐙 Code-generated, Auto-versioned, & Smart Web APIs
Ocaml From The Very Beginning solved with Reason instead of Ocaml
establish trust in community repositories, cryptographically signed by library authors
Effect-Driven Compiler Tester for OCaml
Pretty-printing for error source locations
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
A monadic library for creating synthesizers in OCaml.
🦠 An experimental elaborator for dependent type theory using effects and handlers
Algorithms to layout trees in a pretty manner.
Owl Tutorial Book V1
👨🏻💻 Command line interface for user input
OCaml bindings to the GSL (GNU Scientific Library).
A 2d geometry library for ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
A Bazel Language Support Package for OCaml
Functional kernel written in OCaml.
A GLFW binding for OCaml.
Iterated Function Systems fractals with OCaml.
An overlay for the OCaml Z3 binding.
Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
OCaml parsers for Office Open XML and XLSX (Excel) documents
Owl's Differential Equation Solvers
Command-line client for Elasticsearch written in OCaml
Common interface for tracing/instrumentation libraries in OCaml
Language server for OCaml and Reason
Bytecode compiler of a variant of Caml
Open records implemented using map over universal type
Stdcompat: compatibility module for OCaml standard library
IO for Gallina
An OCaml library for creating pandoc filters.
A Firefox extension to easily toggle between browser fonts and webpage fonts