Repositories list

• sundialsml

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

  ocamlsundialsnumerical-solvers

  OCaml

  •

  Other

  •9•26•0•1•Updated Jul 5, 2024Jul 5, 2024

• velus-www

  Public
  Vélus website

  HTML

  •0•0•0•0•Updated Nov 9, 2023Nov 9, 2023

• CompCert

  Public
  The CompCert C verified compiler

  Coq

  •

  Other

  •226•0•0•0•Updated Jul 4, 2023Jul 4, 2023

• synchron2021

  Public
  Synchron 2021 website

  CSS

  •0•0•0•0•Updated Jul 3, 2023Jul 3, 2023

• synchron2020

  Public
  Synchron 2020 website

  HTML

  •0•0•0•0•Updated Nov 28, 2021Nov 28, 2021

• subdotter

  Public
  Extracts a subgraph from a dot file

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated Sep 3, 2021Sep 3, 2021

• undotter

  Public
  Break strongly connected dot files up into smaller chunks

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •0•1•0•0•Updated May 1, 2021May 1, 2021

• minijazz

  Public
  The MiniJazz compiler

  OCaml

  •

  GNU General Public License v3.0

  •5•2•0•0•Updated Nov 24, 2020Nov 24, 2020

• inria-parkas.github.io

  Public
  Web site for the Inria-Parkas organization.

  HTML

  •0•0•0•0•Updated Jul 25, 2016Jul 25, 2016