Inria PARKAS Team

Inria PARKAS Team's repositories

An OCaml interface to the Sundials suite of numeric solvers.

Language:OCamlNOASSERTION25 4 7

The MiniJazz compiler

Language:OCamlGPL-3.01 20

Extracts a subgraph from a dot file

Language:OCamlBSD-2-Clause1 20

Break strongly connected dot files up into smaller chunks

Language:OCamlBSD-2-Clause1 20

The CompCert C verified compiler

Language:CoqNOASSERTION030

Web site for the Inria-Parkas organization.

Language:HTML020

Synchron 2020 website

Language:HTML030

Synchron 2021 website

Language:CSS020

Vélus website

Language:HTML040