Skip to content
Avatar
36 followers · 12 following · 129

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@camlunity
Block or Report
  • Block or report user

    Block or report Kakadu

    Block user

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

    Report abuse

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

    Report abuse

Popular repositories

  1. lablqml

    Interfacing Qt/QML with OCaml. Formely known as lablqt

    OCaml 136 13

  2. camlyaml

    YAML parser for OCaml

    OCaml 11

  3. Neznaju Archived

    Discontinued. Kate plugin for collaborated editing

    C++ 8

  4. ocaml-neo4j

    API to access Neo4j database via REST

    OCaml 6 2

  5. proelium Archived

    Civilization III - like fighting model.

    C++ 4

  6. Falka Archived

    A tool for using fsyacc and parser-combinators together.

    F# 4

681 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

April 2021

Created 43 commits in 8 repositories
Created 4 repositories

Created a pull request in ocaml/dune that received 6 comments

Add new configuration (skip_ppx_kind <bool>)

Recent version of dune language check that ppx rewriters have a specific kind. In case when a rewriter is being dynamically extended by new plugins…

+37 −9 • 6 comments
Opened 1 other pull request in 1 repository
ocaml/opam-repository
1 open

Created an issue in Boolector/boolector that received 7 comments

Need help with running SMTLIB example

I have issues with running my example in SMTLIB format with boolector. I'm using version 3.2.1. Z3 works fin on this ✗ cat demo_smt/2.smt2 (declare…

7 comments

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