Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. Invariant generator for polynomial loops

    OCaml 6 3

  2. Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1

  3. Forked from OCamlPro/alt-ergo

    OCamlPro public development repository for Alt-Ergo

    OCaml 1

  4. A prototype of model-checker

    C 1

  5. Un algo de génération de puzzle

    OCaml

  6. Forked from OCamlPro/ezjs

    Some useful libraries to work with `js_of_ocaml`

    OCaml

18 contributions in the last year

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

Contribution activity

October - November 2020

Stevendeo has no activity yet for this period.

September 2020

Created 1 commit in 1 repository
Opened 2 pull requests in 1 repository
OCamlPro/liquidity
1 open 1 merged

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

You can’t perform that action at this time.