Block or report user

Report or block c-cube

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@ocaml-batteries-team @nunchaku-inria

Pinned repositories

  1. ocaml-containers

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

    OCaml 196 48

  2. qcheck

    QuickCheck inspired property-based testing for OCaml.

    OCaml 79 13

  3. sequence

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

    OCaml 47 5

  4. zipperposition

    An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting; supporting libraries for manipulating terms, formulas, clauses, etc. …

    OCaml 24 5

  5. mc2

    A modular SMT solver in OCaml, based on mcSAT

    SMT 7 1

  6. gen

    Simple, efficient iterators for OCaml

    OCaml 25 5

1,523 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

July 2018

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

Package sequence.1.1

sequence.1.1 Simple and lightweight sequence abstract data type. Simple sequence abstract datatype, intended to iterate efficiently on collections …

+35 −1 6 comments

Created an issue in c-cube/qcheck that received 1 comment

alcotest backend

it seems sufficient to produce a unit -> unit function. I suppose it'd be something like val mk_alcotest: ?seed:int -> QCheck.Test.t -> (unit -> unit)

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.