Repository Index

OCaml graph library

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

OCaml library for reading, writing and modifying PDF files

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

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

Cram like framework for OCaml

Typed Regular Expressions

• regex
• types
• gadt
• ocaml

Easy OCaml bindings for Javascript libraries

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

• diff
• snapshot-testing
• testing
• snapshot

A Yojson codec generator for OCaml.

• deriving
• json

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

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

Error-recovering streaming HTML5 and XML parsers

• html
• html5
• xml
• streaming

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler