Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 75 14

  2. ITSTools ITSTools Public

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

    Python 27 13

  3. painless painless Public

    A framework to ease parallelization of sequential SAT solvers

    C++ 27 10

  4. alliance alliance Public

    Alliance VLSI CAD Tools (LIP6)

    C 17 3

  5. alliance-check-toolkit alliance-check-toolkit Public

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

    Python 15 5

  6. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 14 4

Repositories

Showing 10 of 34 repositories
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 75 GPL-2.0 14 25 (5 issues need help) 3 Updated Dec 21, 2025
  • coriolis-pdk-sky130-c4m Public

    Chips4Makers PDK Master cells for Coriolis / SkyWater 130A

    lip6/coriolis-pdk-sky130-c4m’s past year of commit activity
    Python 0 GPL-2.0 0 0 0 Updated Dec 20, 2025
  • coriolis-pdk-nsx2 Public

    PDK for symbolic NSxLib

    lip6/coriolis-pdk-nsx2’s past year of commit activity
    Python 0 GPL-2.0 0 0 0 Updated Dec 20, 2025
  • alliance-check-toolkit Public

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

    lip6/alliance-check-toolkit’s past year of commit activity
    Python 15 5 1 (1 issue needs help) 1 Updated Dec 20, 2025
  • coriolis-designs Public
    lip6/coriolis-designs’s past year of commit activity
    Python 0 0 0 0 Updated Dec 20, 2025
  • coriolis-pdk-gf180mcu-c4m Public

    GF180 MCU - Chips4Makers PDK for Coriolis

    lip6/coriolis-pdk-gf180mcu-c4m’s past year of commit activity
    Python 0 GPL-2.0 1 0 0 Updated Dec 19, 2025
  • coriolis-designs-croc Public

    Physical implementation of Croc with Coriolis

    lip6/coriolis-designs-croc’s past year of commit activity
    Python 0 GPL-3.0 0 0 0 Updated Dec 12, 2025
  • coriolis-pdk-ihpsg13g2-c4m Public

    Port of Chip4Makers IHP SG13S2 PDK

    lip6/coriolis-pdk-ihpsg13g2-c4m’s past year of commit activity
    Python 0 GPL-2.0 2 1 2 Updated Dec 11, 2025
  • alliance Public

    Alliance VLSI CAD Tools (LIP6)

    lip6/alliance’s past year of commit activity
    C 17 3 0 0 Updated Dec 11, 2025
  • coriolis-pdk-gf180mcu Public

    GF180MCU native PDK for Coriolis

    lip6/coriolis-pdk-gf180mcu’s past year of commit activity
    Python 0 1 0 0 Updated Dec 6, 2025
View all repositories