Discover c-cube/ocaml-qbf Open Source project

QuickCheck inspired property-based testing for OCaml.

485

qcheck

An in-memory datalog implementation for OCaml.

343

datalog

Prolog

247

iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

Minimal HTTP server using good old threads + blocking IO, with a small request router.

104

tiny_httpd

print nested boxes, lists, arrays, tables in several formats

printbox

[toy] A rewriting language similar to the core of Mathematica

stimsym

Commodity thread pools and concurrency primitives for OCaml 5

moonpool

Simple, efficient iterators for OCaml

gen

[research] A modular SMT solver in OCaml, based on mcSAT

mc2

Purely functional iterators compatible with standard `seq`.

oseq

A (parametrized) Rust SAT solver originally based on MiniSat

batsat

[beta] A multi-consumer, multi-producers blocking queue and stream for Lwt

lwt-pipe

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

calculon

generic I/O streams of bytes

ocaml-iostream

[dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html

cconv

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

linol

A simple wrapper around OCurl.

ezcurl

runtime library and code-generator for BARE (https://baremessages.org/)

bare-ocaml

A modular library for CDCL(T) SMT solvers, with [wip] proof generation.

sidekick

Experimental model finder/SMT solver for functional programming.

smbc

Common interface for tracing/instrumentation libraries in OCaml

ocaml-trace

Choice operator in OCaml, providing a backtracking monad

choice

fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.

spelll

Runtime library and schema compiler for the Avro serialization format

ocaml-avro

[beta] High-level wrapper around ocaml-sqlite3

sqlite3_utils

LINQ-like combinators for manipulating collections of in-memory data

olinq

[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks

maki

Overlay over bigarrays of chars

ocaml-bigstring

thread-local storage for OCaml

thread-local-storage

[alpha] lightweight fiber library for OCaml 5

fuseau

OCaml bindings to Minisat

ocaml-minisat

C++

ocaml-gnuplot

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)

compatibility package for the standard OCaml iterator type

seq

[wip] Proof format and checker for first-order and higher-order theorem provers

quip

OCaml bindings for batsat (https://github.com/c-cube/batsat)

batsat-ocaml

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

trustee

IRC bot for #ocaml@freenode

ocabot

[unfinished] Jsonrpc2 for OCaml, parametrized by the underlying IO.

jsonrpc2

[toy] industrial-strength implementation of the SKI calculus, using XML

IKSML

thrifty

[wip] Reimplementation of thrift in OCaml

Thrift

hashset_benchs

Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust_vs_f_hashset_benchmark/

Clojure

funarith

[wip] functorial library with classic algorithms for arithmetic

Compatibility package for the Atomic module

ocaml-atomic

OCaml implementation of indexed sets (inspired from Haskell's ixSet library)

indexed-set

[draft] dynamic representation of types

Small website to serve zulip logs obtained from [zulip archive](https://github.com/zulip/zulip-archive)

zulip-log-viewer

OCaml implementation of Twirp using ocaml-protoc

ocaml-twirp

proof of concept for https://github.com/ocaml/RFCs/pull/19

poc-modular-io

[frozen] Scheduling and running jobs on a shared computer, then analyse their output

frog-utils

Simple parser for _oasis files

oasis-parser

[unfinished] Chord DHT implementation in OCaml (not production-ready)

ocaml-chord

Per-request context, inspired from Go's

rcontext

[toy] Tiny game built to try notty

space_camels

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

smtlib-utils

[toy] ocaml client for gemini

gemini-client

containers-lwt

Utilities for Lwt

[toy] IRC bot in rust, for my private use

bender

[bench] benchmark of various iterator implementations

iterators_bench

various little experiments

playground

[WIP] CBOR codec for OCaml

ccbor

[clone] Fork of ocaml-ty by Grégoire Henry (original url https://gitorious.org/ocaml-ty/)

ocaml-ty

[toy] Random stuff from containers, low quality, experimental

containers-misc

[unfinished] structured, hierarchical log system for OCaml

neperien

[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.

andes

[migrated to https://github.com/c-cube/zipperposition] Logic toolkit, designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

logtk

Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)

vim-tptp

Vim Script

paradox

[clone] model finder for first-order logic, from http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

Haskell

bencode_rpc

[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).

[TOY] loop-dee-loop, an event loop

ldl

[dead] Write OCaml plugins for bender

bender-ocaml

Book for Quip, a proof format for first-order and higher-order theorem provers

quip-book

[toy] And-Inverter Graph in OCaml

ocaml-aig

experiment with tiny_httpd using moonpool as a scheduler

tiny-httpd-moonpool-bench

Makefile

tomato-chan

[wip] IRC bot.

Playground for visitors on terms

unif-visitor

[toy] Toy implementation of multi-variable polynomials over Z

ocaml-polynomials

experiments around microsat

microsat

just playing with minikube

playground-k8s

[deprecated] ppx_deriving instance for CConv encoders/decoders

ppx_deriving_cconv

[obsolete] parser for https://github.com/tip-org/

tip-parser

[wip] IRC client for OCaml

irky

parsing IRC logs as produced by irssi

ocaml-irclog

Implementation of relative placement tabulation for dance competitions

strictly_tally