@inria-parkas

Inria PARKAS Team

Synchronous Kahn Parallelism

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

    OCaml 15 5 Updated Jul 17, 2018
  • The CompCert C verified compiler

    Coq 74 Updated Apr 5, 2017
  • Web site for the Inria-Parkas organization.

    HTML Updated Jul 25, 2016