sim642

adventofcode

Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in Scala

odep

Dependency graphs for OCaml modules, libraries and packages

dune-lint-demo

OCaml dune linting demos

ppx_easy_deriving

Easily define PPX derivers without boilerplate and runtime overhead

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

apron

Apron Numerical Abstract Domain Library

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

batteries-included

Batteries Included project

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

blog-giscus

camlidl

Stub code generator for OCaml/C interface

Deagle

debug-adapter-protocol

Defines a common protocol for debug adapters.

duet

Duet: static analysis for unbounded concurrency

FLL-scorer

FIRST LEGO League Robot Game scoring tool

gitinfo2

gitinfo2: Use git repository metadata in LaTeX documents

gospel

A tool-agnostic formal specification language for OCaml.

jingoo

OCaml template engine almost compatible with jinja2

jsoo-react

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

lwt

OCaml promises and concurrent I/O

ocaml

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

ocaml-custom-identifier

opam-repository

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

ppx_deriving

Type-driven code generation for OCaml

ppx_deriving_hash

[@@deriving hash]

ppx_deriving_yojson

A Yojson codec generator for OCaml.

regex-crossword

sv-sanitizers

SV-COMP wrapper for sanitizers

svcomp-scripts

user-documentation

User documentation of JabRef