Repository Index

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

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

• go
• html
• jsx
• lsp

OCaml bindings to libcurl

• libcurl
• ocaml-bindings
• ocaml

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

OCaml bindings to MariaDB, supporting the nonblocking API

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

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang

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

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

OCaml/MPI interface

Trivial/Tagless Polytypic Functions