jmid Goto Github PK

3countermach

An implementation of Plotkin's 3 Counter Machine

camljoos0

A simple compiler for a small subset of Java 1.3

consent

ligand-based virtual screening with consensus queries

custom-opam-repository

domainslib

Parallel Programming over Domains

dune

A composable build system for OCaml.

efftester

Effect-Driven Compiler Tester for OCaml

flambda-backend

The Flambda backend project for OCaml

flexdll

a dlopen-like API for Windows

gospel

A tool-agnostic formal specification language for OCaml.

iterated

An iterated process analysis over lattice-valued regular expressions

js_of_ocaml

Compiler from OCaml to Javascript.

js_of_ocaml-xyz

An example of compiling a simple language processor in OCaml to JavaScript with js_of_ocaml

kcas

Multi-word compare-and-swap library

lcheck

A library for quickchecking lattice modules and associated operations

lockfree

Lock-free data structures for multicore OCaml

lrgrep

Menhir polishing toolbox, for experienced druids

luata-quickcheck

Lua type analysis and corresponding QuickCheck code

mirage-hole

mirage-skeleton

Examples of simple MirageOS apps

multicoretests-ci

Multi-platform CI for the OCaml compiler

mutaml

An OCaml mutation tester

myers-stack

An OCaml implementation of a Myers stack

nano-go

A static analysis of the network communication of programs in a synchronous subset of Go

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-multicore

Multicore OCaml

ocaml-skyline

An OCaml implementation of the Skyline problem

ocaml-tsan

Race detection in OCaml using the ThreadSanitizer runtime analysis.

okra

OKR report aggregation tool

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.