Guillaume Bury

dolmen

OCaml 1 0

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Updated 2026-08-18 13:54:12 +00:00

4ever

OCaml 1 0

Database for dance competitions and scoring systems

Updated 2026-08-13 00:01:48 +00:00

mSAT

OCaml 1 0

A modular sat/smt solver with proof output.

Updated 2026-05-04 04:03:29 +00:00

logf

OCaml 1 0

Structured logging for OCaml

Updated 2025-11-04 16:16:27 +00:00

pygments-flambda

3 0

Pygments lexer for Flambda

Updated 2025-10-08 11:08:01 +00:00

ocaml-memgraph

OCaml 1 0

A small library to output memory graph for ocaml values

Updated 2024-06-28 11:38:47 +00:00

archsat

OCaml 3 0

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Updated 2023-07-13 08:33:05 +00:00

advent-of-code

OCaml 1 0

Advent of code solutions

Updated 2022-11-27 15:37:17 +00:00

ocaml-cgroups

OCaml 1 0

OCaml interface to cgroups

Updated 2022-09-16 12:54:03 +00:00

ocir

OCaml 1 0

A small library for manipulating OCaml Inlining Reports (hence ocir)

Updated 2021-01-25 16:28:19 +00:00

blog

HTML 1 0

Updated 2020-09-24 09:04:04 +00:00

ocaml-memtrace

1 0

Updated 2020-07-31 14:12:02 +00:00

benchy

1 0

Updated 2019-01-18 16:35:47 +00:00

hashcode18

OCaml 3 0

Foobar

Updated 2018-03-02 09:08:11 +00:00

sat-bench

OCaml 1 0

A small repo to test and benchmark different sat solvers

Updated 2017-09-12 12:10:09 +00:00