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-Clause481 17 215

qcheck

QuickCheck inspired property-based testing for OCaml.

Language:OCamlBSD-2-Clause340 13 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:OCaml73 6 31

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

Language:OCaml52 3 5

batsat

A (parametrized) Rust SAT solver originally based on MiniSat

Language:RustNOASSERTION31 5 6

calculon

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

Language:OCamlMIT28 6 17

ezcurl

A simple wrapper around OCurl.

Language:OCamlMIT26 3 7

linol

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

Language:OCaml25 5 9

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-gnuplot

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

Language:OCamlNOASSERTION13 3 1

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

smtlib-utils

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

Language:SMTBSD-2-Clause5 40

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

cryptokit

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

Language:CNOASSERTION010

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