ocaml
Repositories (1372)
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
A monadic library for creating synthesizers in OCaml.
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
Probabilistic data structures for OCaml
A library for incremental desktop applications
OCaml multimedia library
Faithful reimplementation of Minisat 2.2 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...
Tool to generate test-cases for regular expression engines
Pretty-printing for error source locations
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
mini-dalle in OCaml
An OCaml based implementation of a Quil QVM
Effect-Driven Compiler Tester for OCaml
Efficient Bloom filters for OCaml
[research] A modular SMT solver in OCaml, based on mcSAT
🦠 An experimental elaborator for dependent type theory using effects and handlers
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
Functional kernel written in OCaml.
A 2d geometry library for ocaml
Ocaml From The Very Beginning solved with Reason instead of Ocaml
Algorithms to layout trees in a pretty manner.
A Firefox extension to easily toggle between browser fonts and webpage fonts
Owl Tutorial Book V1
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.
Open records implemented using map over universal type
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
A Bazel Language Support Package for OCaml
Stdcompat: compatibility module for OCaml standard library
Command-line client for Elasticsearch written in OCaml
A GLFW binding for OCaml.
Iterated Function Systems fractals with OCaml.
OCaml bindings to the GSL (GNU Scientific Library).
OCaml parsers for Office Open XML and XLSX (Excel) documents
Owl's Differential Equation Solvers
IO for Gallina
Common interface for tracing/instrumentation libraries in OCaml
[WIP] Yet another Erlang implementation in Rust
Arbitrary-precision floating-point decimals