Discover @c-cube Open Source projects

Simon Cruanes (@c-cube)

c-cube

Stars
1,938
Global Rank 15,914 (Top 0.6 %)
Followers 404
Following 194
Registered almost 13 years ago
Most used languages

OCaml
81.0 %

SMT 4.8 %

Rust
4.8 %

Makefile 1.2 %

Haskell
1.2 %

Vim Script
1.2 %

C
1.2 %

C++
1.2 %

Clojure
1.2 %

Thrift 1.2 %

Prolog
1.2 %
Location 🇺🇸 United States
Country Total Rank 5,082
Country Ranking

SMT 4

OCaml
6

Prolog
8

Thrift 11

Clojure
988

Haskell
1,341

Vim Script
1,915

Rust
1,932

Makefile 2,165

C
8,271

C++
9,381

ocaml-containers

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

qcheck

QuickCheck inspired property-based testing for OCaml.

datalog

An in-memory datalog implementation for OCaml.

iter

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

tiny_httpd

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

printbox

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

stimsym

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

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

gen

Simple, efficient iterators for OCaml

mc2

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

oseq

Purely functional iterators compatible with standard `seq`.

batsat

A (parametrized) Rust SAT solver originally based on MiniSat

lwt-pipe

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

calculon

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

ocaml-iostream

generic I/O streams of bytes

cconv

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

linol

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

ezcurl

A simple wrapper around OCurl.

bare-ocaml

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

sidekick

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

smbc

Experimental model finder/SMT solver for functional programming.

ocaml-trace

Common interface for tracing/instrumentation libraries in OCaml

choice

Choice operator in OCaml, providing a backtracking monad

spelll

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

ocaml-avro

Runtime library and schema compiler for the Avro serialization format

sqlite3_utils

[beta] High-level wrapper around ocaml-sqlite3

olinq

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

maki

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

ocaml-bigstring

Overlay over bigarrays of chars

thread-local-storage

thread-local storage for OCaml

fuseau

[alpha] lightweight fiber library for OCaml 5

ocaml-minisat

OCaml bindings to Minisat

ocaml-gnuplot

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

seq

compatibility package for the standard OCaml iterator type

quip

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

batsat-ocaml

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

trustee

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

ocaml-qbf

OCaml bindings to QBF solver(s)

ocabot

IRC bot for #ocaml@freenode

jsonrpc2

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

IKSML

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

thrifty

[wip] Reimplementation of thrift in OCaml

hashset_benchs

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

funarith

[wip] functorial library with classic algorithms for arithmetic

ocaml-atomic

Compatibility package for the Atomic module

indexed-set

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

ty

[draft] dynamic representation of types

zulip-log-viewer

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

ocaml-twirp

OCaml implementation of Twirp using ocaml-protoc

poc-modular-io

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

frog-utils

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

oasis-parser

Simple parser for _oasis files

ocaml-chord

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

rcontext

Per-request context, inspired from Go's

space_camels

[toy] Tiny game built to try notty

smtlib-utils

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

gemini-client

[toy] ocaml client for gemini

containers-lwt

Utilities for Lwt

bender

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

iterators_bench

[bench] benchmark of various iterator implementations

playground

various little experiments

ccbor

[WIP] CBOR codec for OCaml

ocaml-ty

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

containers-misc

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

neperien

[unfinished] structured, hierarchical log system for OCaml

andes

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

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.

vim-tptp

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

paradox

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

bencode_rpc

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

ldl

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

bender-ocaml

[dead] Write OCaml plugins for bender

quip-book

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

ocaml-aig

[toy] And-Inverter Graph in OCaml

tiny-httpd-moonpool-bench

experiment with tiny_httpd using moonpool as a scheduler

tomato-chan

unif-visitor

Playground for visitors on terms

ocaml-polynomials

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

microsat

experiments around microsat

playground-k8s

just playing with minikube

ppx_deriving_cconv

[deprecated] ppx_deriving instance for CConv encoders/decoders

tip-parser

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

irky

[wip] IRC client for OCaml

ocaml-irclog

parsing IRC logs as produced by irssi

strictly_tally

Implementation of relative placement tabulation for dance competitions