Discover c-cube/ocaml-avro Open Source project

QuickCheck inspired property-based testing for OCaml.

474

qcheck

An in-memory datalog implementation for OCaml.

330

datalog

Prolog

247

iter

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

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

104

printbox

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

tiny_httpd

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

stimsym

Simple, efficient iterators for OCaml

gen

Commodity thread pools and concurrency primitives for OCaml 5

moonpool

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

mc2

Purely functional iterators compatible with standard `seq`.

oseq

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

lwt-pipe

A (parametrized) Rust SAT solver originally based on MiniSat

batsat

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

calculon

[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

A simple wrapper around OCurl.

ezcurl

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

linol

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

generic I/O streams of bytes

ocaml-iostream

Experimental model finder/SMT solver for functional programming.

smbc

Choice operator in OCaml, providing a backtracking monad

choice

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

spelll

Common interface for tracing/instrumentation libraries in OCaml

ocaml-trace

[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

OCaml bindings to QBF solver(s)

ocaml-qbf

jsonrpc2

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

[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

[wip] 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

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

vim-tptp

Vim Script

iterators_bench

[bench] benchmark of various iterator implementations

various little experiments

playground

[WIP] CBOR codec for OCaml

ccbor

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

containers-misc

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

ocaml-ty

[unfinished] structured, hierarchical log system for OCaml

neperien

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

andes

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

paradox

Haskell

logtk

[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.

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

ldl

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

bencode_rpc

[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

experiments around microsat

microsat

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

ocaml-polynomials

[deprecated] ppx_deriving instance for CConv encoders/decoders

ppx_deriving_cconv

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

tip-parser

parsing IRC logs as produced by irssi

ocaml-irclog

[wip] IRC client for OCaml

irky

Implementation of relative placement tabulation for dance competitions

strictly_tally