Skip to content
Avatar

Highlights

  • Arctic Code Vault Contributor

Organizations

@inria-parkas

Pinned

  1. A Lustre compiler in Coq

    Coq 31 3

  2. An OCaml interface to the Sundials suite of numeric solvers.

    OCaml 16 5

  3. LaTeX package for passing verbatim contents through a compiler and reincorporating the resulting output

    TeX 3

  4. XSLT scripts for generating a static web site

    XSLT 1

  5. Search and preview for MailDir files on MacOS

    C 11 2

  6. Urpal is your pal for Uppaal.

    Standard ML 5 3

174 contributions in the last year

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

Contribution activity

September 2020

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

ocamlmpi 1.05 (support for bigarrays)

New version of ocamlmpi with support for bigarrays.

+45 −0 2 comments

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

You can’t perform that action at this time.