Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

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

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

Communication between Coq and SAT/SMT solvers

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

An enhanced unification algorithm for Coq

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

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

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

Path-based dispatching for client- and server-side applications.

• web

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography