Repository Index

Owl - OCaml Scientific Computing @ https://ocaml.xyz

• matrix
• linear-algebra
• ndarray
• statistical-functions

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

OCaml Language Server Protocol implementation

A lightweight and colourful test framework

• unit-testing
• ocaml

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

The Ott tool for writing definitions of programming languages and calculi

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Pure OCaml Git format and protocol

• git
• ocaml

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

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

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

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

• diff
• snapshot-testing
• testing
• snapshot

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

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

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

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

A neat interface for Slack

• ocaml
• slack
• binding
• bot

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

Inline (Unit) Tests for OCaml

A fully-modular OCaml style linter

Pure OCaml implementation of the "vchan" shared-memory communication protocol

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

OCaml implementation of the MQTT pubsub protocol.

OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.

• validation