Repository Index

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

OCaml project generator.

• spin
• ocaml
• reason
• template

OCaml bindings for TensorFlow

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

• coq
• hammer
• automation
• proof-search

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

Terminal manipulation library for OCaml

• ocaml

The Frenetic Programming Language and Runtime System

A REST toolkit for OCaml

• ocaml
• webmachine
• web
• http

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

Elm architecture and (V)DOM for OCaml

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

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

• diff
• snapshot-testing
• testing
• snapshot

Interfacing Qt/QML with OCaml. Formely known as lablqt

• ocaml
• qtquick
• qt
• gui

An OCaml generic virtual machine for microcontrollers

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

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

OCaml type-safe query builder with syntax tree extension

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing