Repository Index

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

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

OCaml bindings to libcurl

• libcurl
• ocaml-bindings
• ocaml

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Parallelize _anything_ //

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

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

• liquid
• ocaml
• parser-combinators
• shopify

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Old Coq plugin for parametricity [maintainer=@ppedrot]

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

OCaml library for combinatorics

scikit-learn for OCaml

nanomsg bindings 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

IO for Gallina

• coq
• ocaml
• extraction

Process pools for OCaml