Skip to content


  • Arctic Code Vault Contributor


Block or Report

Popular repositories

  1. Interfacing Qt/QML with OCaml. Formely known as lablqt

    OCaml 136 13

  2. YAML parser for OCaml

    OCaml 11

  3. Neznaju Archived

    Discontinued. Kate plugin for collaborated editing

    C++ 8

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

Contribution activity

April 2021

Created 5 repositories

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

Opened 1 other pull request in 1 repository

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…


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