Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

• liquidsoap
• streaming
• webradio

GraphQL servers in OCaml

• ocaml
• graphql

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

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

Communication between Coq and SAT/SMT solvers

Interfacing Qt/QML with OCaml. Formely known as lablqt

• ocaml
• qtquick
• qt
• gui

Syntax extension for writing SQL in OCaml

• sql
• ocaml
• reasonml

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

OCaml type-safe query builder with syntax tree extension

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

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

Inline (Unit) Tests for OCaml

OCaml Amqp client library for Async and Lwt.

• amqp-client
• rabbitmq
• async
• ocaml

An enhanced unification algorithm for Coq

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Multilingualization for the OCaml source code

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

• liquid
• ocaml
• parser-combinators
• shopify