Repository Index

Declarative definition of command line interfaces for OCaml

OCaml project generator.

• spin
• ocaml
• reason
• template

OCaml bindings for TensorFlow

An OCaml lexer generator for Unicode

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

The Frenetic Programming Language and Runtime System

Web library for OCaml with support for HTTP/1.X / HTTP/2

• http
• http2
• http-client
• https

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

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.

Rocq plugin embedding Elpi

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

Easy OCaml bindings for Javascript libraries

Communication between Coq and SAT/SMT solvers

A Yojson codec generator for OCaml.

• deriving
• json

An OCaml generic virtual machine for microcontrollers

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

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

• spoc
• ocaml
• opencl
• cuda

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

OCaml type-safe query builder with syntax tree extension

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

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.

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