Repository Index

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

Automated S-expression conversion

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

Typed Regular Expressions

• regex
• types
• gadt
• ocaml

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot

Communication between Coq and SAT/SMT solvers

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

OCaml type-safe query builder with syntax tree extension

OCaml Bioinformatics Library

Pure OCaml implementation of Zlib.

• ocaml
• zlib
• compression
• decompression

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

OCaml code generator plugin for the Cap'n Proto serialization framework

Exercism exercises in OCaml.

• exercism-track
• community-contributions-accepted
• maintained-solitary

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Less redundancy in type declarations and signatures

Generate nix expressions from opam packages

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

A simple multi-format pretty-printer for Menhir.

• ocaml
• menhir
• parser
• pretty-print