Repository Index

Rocq plugin embedding Elpi

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

Typed Regular Expressions

• regex
• types
• gadt
• ocaml

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

Pure OCaml implementation of Zlib.

• ocaml
• zlib
• compression
• decompression

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

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

Template for an ocaml project with modern tooling

• ocaml

Generate nix expressions from opam packages

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

• ocaml
• makefile

A simple multi-format pretty-printer for Menhir.

• ocaml
• menhir
• parser
• pretty-print

Famous 99 problems in OCaml

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

OCaml library for reporting metrics to a Prometheus server

• metrics
• mirageos
• ocaml

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

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

Pretty-printing library for OCaml

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

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

Inspection of internal value representations and the object graph

general value printing within compiled programs

Process pools for OCaml

Print OCaml values based on their runtime representation