Pinned Repositories
qcheck
QuickCheck inspired property-based testing for OCaml.
archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
format_bridge_bot_output
A WeeChat script to intercept and format messages from a bridge bot
mSAT
A modular sat/smt solver with proof output.
ocaml-cgroups
OCaml interface to cgroups
ocaml-memgraph
A small library to output memory graph for ocaml values
Ocaml-simplex
An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.
sat-bench
A small repo to test and benchmark different sat solvers
benchpress
Testing and benchmarking tool for logic-related programs.
Gbury's Repositories
Gbury/mSAT
A modular sat/smt solver with proof output.
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Gbury/ocaml-memgraph
A small library to output memory graph for ocaml values
Gbury/archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Gbury/ocaml-cgroups
OCaml interface to cgroups
Gbury/format_bridge_bot_output
A WeeChat script to intercept and format messages from a bridge bot
Gbury/sat-bench
A small repo to test and benchmark different sat solvers
Gbury/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Gbury/tune
Gbury/4ever
Database for dance competitions and scoring systems
Gbury/advent-of-code
Advent of code solutions
Gbury/benchpress
Testing and benchmarking tool for logic-related programs.
Gbury/benchy
Gbury/blog
Gbury/dune
A composable build system for OCaml.
Gbury/flambda-backend
The Flambda backend project for OCaml
Gbury/flambda2-opam
OPAM packages etc. for building with the Flambda 2 compiler
Gbury/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
Gbury/ocaml
Read-only mirror of INRIA SVN
Gbury/ocaml-flint
Gbury/ocaml-lsp
OCaml Language Server Protocol implementation
Gbury/ocaml-memtrace
Gbury/ocamlbench-repo
An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com
Gbury/ocamlbuild
The legacy OCamlbuild build manager
Gbury/ocb
ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.
Gbury/ocir
A small library for manipulating OCaml Inlining Reports (hence ocir)
Gbury/ocp-build
See www.typerex.org to download ocp-build
Gbury/pp_loc
Gbury/progress
Progress bar library for OCaml
Gbury/stdcompat
Stdcompat: compatibility module for OCaml standard library