Skip to content

@inria-parkas Inria PARKAS Team

Change the repository type filter

All

    Repositories list

    9 repositories

    • sundialsml

      Public
      An OCaml interface to the Sundials suite of numeric solvers.
      ocamlsundialsnumerical-solvers
      OCaml
      •
      Other
      •9•26•1•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
      •229•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
      •6•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