gbury Goto Github PK

4ever

Database for dance competitions and scoring systems

advent-of-code

Advent of code solutions

archsat

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

benchpress

Testing and benchmarking tool for logic-related programs.

benchy

blog

containers-misc

Random stuff from containers, low quality, experimental

dolmen

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

dune

A composable build system for OCaml.

ejcp-decide

flambda-backend

The Flambda backend project for OCaml

flambda2-opam

OPAM packages etc. for building with the Flambda 2 compiler

format_bridge_bot_output

A WeeChat script to intercept and format messages from a bridge bot

gen

Simple, efficient iterators for OCaml

hashcode18

Foobar

ihatemoney

A simple shared budget manager web application

linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

msat

A modular sat/smt solver with proof output.

ocaml

Read-only mirror of INRIA SVN

ocaml-cgroups

OCaml interface to cgroups

ocaml-containers

A small standard library extension, string library, and (in "misc") a bunch of random things of lower quality. BSD license.

ocaml-flint

ocaml-hollow-heap

An implementation of hollow heaps in Ocaml

ocaml-lsp

OCaml Language Server Protocol implementation

ocaml-memgraph

A small library to output memory graph for ocaml values

ocaml-memtrace

ocaml-simplex

An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.

ocamlbench-repo

An opam 2.0 repository holding the definition for benches on bench.flambda.ocamlpro.com

ocamlbuild

The legacy OCamlbuild build manager

ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.