Skip to content
Avatar
289 followers · 150 following

Sponsoring

@aantron @ziglang

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Pull Sharkx3Achievement: Public SponsorAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@ocaml-batteries-team @imandra-ai @nunchaku-inria @ocaml-community @sneeuwballen
Block or Report

Block or report c-cube

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. ocaml-containers Public

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

    OCaml 399 71

  2. qcheck Public

    QuickCheck inspired property-based testing for OCaml.

    OCaml 276 30

  3. oseq Public

    Purely functional iterators compatible with standard `seq`.

    OCaml 29 5

  4. sneeuwballen/zipperposition Public

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

    OCaml 93 12

  5. iter Public

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

    OCaml 86 7

  6. tiny_httpd Public

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

    OCaml 59 7

2,313 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!

Contribution activity

June 2022

Created 62 commits in 9 repositories

Created a pull request in ocaml/ocaml that received 11 comments

add hexadecimal conversions for strings

it's basic, but so often useful (e.g. to display a cryptographic hash or key).

+136 −1 • 11 comments
Opened 7 other pull requests in 5 repositories
ocaml/opam-repository 3 merged
mattjbray/ocaml-decoders 1 open
c-cube/ocaml-containers 1 merged
ocaml-community/yojson 1 merged
whitequark/ocaml-inotify 1 merged
Reviewed 2 pull requests in 1 repository

Created an issue in ocaml/ocaml-lsp that received 1 comment

custom action to show preprocessed file

(discussed on IRC) It would be very helpful to have a command that, via window/showDocument, displays the preprocessed version of a file. I think t…

1 comment
Opened 3 other issues in 2 repositories
c-cube/ocaml-containers 2 open
ocaml/setup-ocaml 1 open

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