Repositories list

• coriolis

  Public
  Coriolis VLSI EDA Tool (LIP6)

  edavlsi-physical-design

  C++

  •

  GNU General Public License v2.0

  •17•79•25•3•Updated Jan 25, 2026Jan 25, 2026

• painless

  Public
  A framework to ease parallelization of sequential SAT solvers

  C++

  •

  Other

  •11•30•1•1•Updated Jan 14, 2026Jan 14, 2026

• alliance-check-toolkit

  Public
  Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

  vlsi-design

  Python

  •5•15•1•1•Updated Jan 5, 2026Jan 5, 2026

• coriolis-pdk-gf180mcu

  Public
  GF180MCU native PDK for Coriolis

  Python

  •1•0•0•0•Updated Jan 4, 2026Jan 4, 2026

• coriolis-pdk-ihpsg13g2

  Public
  Coriolis provided version of IHP SG13G2 Open PDK

  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jan 4, 2026Jan 4, 2026

• coriolis-designs

  Public
  Python

  •0•1•0•0•Updated Jan 4, 2026Jan 4, 2026

• coriolis-pdk-ihpsg13g2-c4m

  Public
  Port of Chip4Makers IHP SG13S2 PDK

  Python

  •

  GNU General Public License v2.0

  •2•1•1•2•Updated Dec 30, 2025Dec 30, 2025

• tas-yagle

  Public
  Static Timing Analyser (LIP6)

  edatiming-analysis

  C

  •

  GNU General Public License v2.0

  •0•6•0•0•Updated Dec 30, 2025Dec 30, 2025

• coriolis-pdk-sky130-c4m

  Public
  Chips4Makers PDK Master cells for Coriolis / SkyWater 130A

  Python

  •

  GNU General Public License v2.0

  •0•1•0•0•Updated Dec 20, 2025Dec 20, 2025

• coriolis-pdk-nsx2

  Public
  PDK for symbolic NSxLib

  Python

  •

  GNU General Public License v2.0

  •0•1•0•0•Updated Dec 20, 2025Dec 20, 2025

• coriolis-pdk-gf180mcu-c4m

  Public
  GF180 MCU - Chips4Makers PDK for Coriolis

  Python

  •

  GNU General Public License v2.0

  •1•1•0•0•Updated Dec 19, 2025Dec 19, 2025

• coriolis-designs-croc

  Public
  Physical implementation of Croc with Coriolis

  Python

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Dec 12, 2025Dec 12, 2025

• alliance

  Public
  Alliance VLSI CAD Tools (LIP6)

  edavlsi-physical-design

  C

  •3•19•0•0•Updated Dec 11, 2025Dec 11, 2025

• ITSTools

  Public
  A multi-formalism, multi-solution model-checker centered on the language GAL

  eclipseltlsafety+ 4model-checkingpetri-netmodel-driven-developmentctl

  Python

  •

  GNU General Public License v3.0

  •13•28•7•4•Updated Nov 21, 2025Nov 21, 2025

• libITS

  Public
  Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

  cplusplusgplv3symbolic+ 2model-checkingdecision-diagrams

  C++

  •

  GNU General Public License v3.0

  •5•8•0•2•Updated Sep 18, 2025Sep 18, 2025

• libDDD

  Public
  Library for Data Decision Diagrams and Set Decision Diagrams

  verificationsymboliclgpl+ 2decision-diagramscplusplus-11

  C++

  •

  Other

  •4•15•0•0•Updated Sep 10, 2025Sep 10, 2025

• IHP-Open-PDK

  Public
  130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design

  HTML

  •

  Apache License 2.0

  •127•0•0•0•Updated Feb 8, 2025Feb 8, 2025

• IHP_SG13G2_TO_Nov2024

  Public
  IHP Open source SG13G2 Tape Out on November 2024

  Verilog

  •

  Apache License 2.0

  •16•0•0•0•Updated Dec 4, 2024Dec 4, 2024

• Coloane

  Public
  Maintained components of Coloane editor.

  Java

  •0•2•1•1•Updated Sep 30, 2024Sep 30, 2024

• Louvain-BinaryBuild

  Public
  A project to host binary artifacts for Louvain Community Detection Algorithm

  C++

  •

  GNU General Public License v3.0

  •1•2•0•1•Updated Jul 8, 2024Jul 8, 2024

• pnmlframework

  Public
  This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)

  Java

  •

  Eclipse Public License 1.0

  •10•13•3•2•Updated May 20, 2024May 20, 2024

• core-v-180-mcu

  Public
  CORE-V Implementation on GF 180 MCU node

  Python

  •0•0•0•0•Updated Jan 18, 2024Jan 18, 2024

• pnml2nupn

  Public
  PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd struc…

  Java

  •

  Eclipse Public License 1.0

  •1•2•0•1•Updated Dec 5, 2023Dec 5, 2023

• ITSTools-web

  Public
  Web page and online docs for ITS Tools

  HTML

  •2•0•0•1•Updated Apr 12, 2023Apr 12, 2023

• ITS-LTL

  Public archive
  ITS tools and SPOT combine to provide symbolic model-checking of LTL

  C++

  •0•2•0•0•Updated Sep 13, 2022Sep 13, 2022

• ITS-CTL

  Public archive
  CTL symbolic model-checker based on libDDD and libITS

  ccplusplusgplv3+ 3symbolicmodel-checkingcomputation-tree-logic

  C

  •

  GNU General Public License v3.0

  •3•7•0•0•Updated Sep 13, 2022Sep 13, 2022

• ITS-commandline

  Public archive
  A project to host command-line version of ITS-Tools components embedded in eclipse

  Java

  •6•1•0•1•Updated May 11, 2022May 11, 2022

• Evinrude

  Public
  This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.

  Java

  •1•0•0•0•Updated Nov 21, 2021Nov 21, 2021

• GreatSPN-BinaryBuild

  Public
  A project to host binary builds of GreatSPN related toolset, as used in ITS-tools

  Shell

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Jun 12, 2021Jun 12, 2021

• cosy

  Public
  sat-solversymmetrysat+ 6sbpsatisfiabilitysymmetry-breakingsymmetry-reductioncosyesbp

  C++

  •

  Other

  •0•5•0•0•Updated Mar 23, 2021Mar 23, 2021