Skip to content
GitHub Sponsor
Pro
Block or report user

Report or block c-cube

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Sponsoring

@aantron @andrewrk

Organizations

@ocaml-batteries-team @AestheticIntegration @nunchaku-inria @ocaml-community
Block or report user

Report or block c-cube

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

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

    OCaml 315 58

  2. QuickCheck inspired property-based testing for OCaml.

    OCaml 161 19

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

    OCaml 63 4

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

  5. Simple, efficient iterators for OCaml

    OCaml 40 6

  6. Purely functional iterators compatible with standard `seq`.

    OCaml 23 4

Contribution activity

May 2020

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

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

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

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

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

You can’t perform that action at this time.