c-cube Follow

Simon Cruanes c-cube

Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer.

GitHub Sponsor

Block or report user

Report or block c-cube

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Sponsoring

Organizations

Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer.

Block or report user

Report or block c-cube

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

ocaml-containers

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

OCaml 315 58
qcheck

QuickCheck inspired property-based testing for OCaml.

OCaml 161 19
iter

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

OCaml 63 4
sneeuwballen/zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, …

OCaml 36 6
gen

Simple, efficient iterators for OCaml

OCaml 40 6
oseq

Purely functional iterators compatible with standard `seq`.

OCaml 23 4

2,064 contributions in the last year

Activity overview

Contributed to sneeuwballen/benchpress, c-cube/sidekick, c-cube/ocaml-containers and 5 other repositories

Contribution activity

May 2020

c-cube/ocaml-protoc OCaml May 16

Created a pull request in ocaml/opam-repository that received 3 comments

May 26

Package linenoise.1.3.1

linenoise.1.3.1 Lightweight readline alternative Homepage: https://github.com/ocaml-community/ocaml-linenoise Source repo: git+https://github.com…

+27 −0 • 3 comments

2 packages from c-cube/tiny_httpd at 0.6 May 29
Package batsat.0.4 May 12
Package gen.0.5.3 May 12
Package qtest.2.11 May 12

Int shrinkers May 19

Created an issue in zshipko/ocaml-rs that received 10 comments

May 8

representing a `Box<T>` with a custom block

I have some bindings I'd like to upgrade, but they used some unsafe pointer mangling and Value::alloc_custom(ptr, finalizer) to build OCaml values.…

10 comments