Repository Index

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason

Binary Analysis Platform

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

A lightweight and colourful test framework

• unit-testing
• ocaml

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

The Ott tool for writing definitions of programming languages and calculi

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

• mldonkey
• ocaml-program
• p2p

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

The Frenetic Programming Language and Runtime System

Rocq plugin embedding Elpi

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

Cram like framework for 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

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

Old Coq plugin for parametricity [maintainer=@ppedrot]

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

general value printing within compiled programs

A PlantUML to XML converter

• automation
• converter
• document
• ocaml