c-cube

followers

following

stars

Imandra (@imandra-ai)

washington DC

https://simon.cedeela.fr

Organizations

imandra-ai

nunchaku-inria

ocaml-batteries-team

ocaml-community

sneeuwballen

Simon Cruanes's repositories

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Language:OCamlBSD-2-Clause478 17 215

qcheck

QuickCheck inspired property-based testing for OCaml.

Language:OCamlBSD-2-Clause335 12 147

iter

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

Language:OCamlBSD-2-Clause117 11 21

printbox

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

Language:OCamlBSD-2-Clause75 7 19

tiny_httpd

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

Language:OCaml72 6 29

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

Language:OCaml52 3 4

mc2

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

Language:SMTApache-2.038 5 4

batsat

A (parametrized) Rust SAT solver originally based on MiniSat

Language:RustNOASSERTION30 5 4

calculon

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

Language:OCamlMIT28 6 17

linol

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

Language:OCaml25 5 9

ezcurl

A simple wrapper around OCurl.

Language:OCamlMIT24 3 7

ocaml-iostream

generic I/O streams of bytes

Language:OCaml24 2 1

ocaml-trace

Common interface for tracing/instrumentation libraries in OCaml

Language:OCaml18 3 9

fuseau

[alpha] lightweight fiber library for OCaml 5

Language:OCaml13 2 2

ocaml-minisat

OCaml bindings to Minisat

Language:C++BSD-2-Clause13 6 4

trustee

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

Language:OCaml11 6 5

thrifty

[wip] Reimplementation of thrift in OCaml

Language:ThriftMIT8 20

ocaml-twirp

[wip] OCaml implementation of Twirp using ocaml-protoc

Language:OCaml6 20

rcontext

Per-request context, inspired from Go's

Language:OCaml5 20

playground

various little experiments

Language:OCaml4 20

irky

[wip] IRC client for OCaml

Language:OCamlMIT1 20

ocaml

Read-only mirror of INRIA SVN

Language:OCamlNOASSERTION1 30

opam

OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlNOASSERTION1 30

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.01 30

blag

source for the blag https://blag.cedeela.fr

Language:CSS030

hmap

Heterogeneous value maps for OCaml

ISC000

ocaml-ambient-context

Abstraction over thread/continuation/fibre/sequence-local storage mechanisms for implicit communication context-sharing between applications and their transitive dependencies

Language:OCaml010

picos

Interoperable effects based concurrency

ISC000

ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

Language:OCamlMIT000

tracy

C++ frame profiler

Language:C++NOASSERTION020