Repository Index

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

• ocaml
• stdlib
• data-structure
• portable

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

OCaml bindings for TensorFlow

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

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

Rocq plugin embedding Elpi

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

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

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

• spoc
• ocaml
• opencl
• cuda

OCaml type-safe query builder with syntax tree extension

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.

Object Relational Mapper extension

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Extensible binary data format, like JSON but faster

Library of Raft consensus algorithm implemented in OCaml

• ocaml
• raft-consensus-algorithm
• raft
• consensus-algorithm