Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 83 18

  2. painless painless Public

    A framework to ease parallelization of sequential SAT solvers

    C++ 34 11

  3. ITSTools ITSTools Public

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

    Python 27 12

  4. alliance alliance Public

    Alliance VLSI CAD Tools (LIP6)

    C 20 4

  5. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 16 5

  6. alliance-check-toolkit alliance-check-toolkit Public

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

    Python 15 5

Repositories

Showing 10 of 34 repositories
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 83 GPL-2.0 18 25 (5 issues need help) 5 Updated Apr 8, 2026
  • ITSTools Public

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

    lip6/ITSTools’s past year of commit activity
    Python 27 GPL-3.0 12 7 3 Updated Mar 20, 2026
  • Coloane Public

    Maintained components of Coloane editor.

    lip6/Coloane’s past year of commit activity
    Java 2 0 1 1 Updated Mar 2, 2026
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 34 11 1 1 Updated Jan 14, 2026
  • 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 Jan 5, 2026
  • coriolis-pdk-gf180mcu Public

    GF180MCU native PDK for Coriolis

    lip6/coriolis-pdk-gf180mcu’s past year of commit activity
    Python 1 1 0 0 Updated Jan 4, 2026
  • coriolis-pdk-ihpsg13g2 Public

    Coriolis provided version of IHP SG13G2 Open PDK

    lip6/coriolis-pdk-ihpsg13g2’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Jan 4, 2026
  • coriolis-designs Public
    lip6/coriolis-designs’s past year of commit activity
    Python 1 0 0 0 Updated Jan 4, 2026
  • coriolis-pdk-ihpsg13g2-c4m Public

    Port of Chip4Makers IHP SG13S2 PDK

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

    Static Timing Analyser (LIP6)

    lip6/tas-yagle’s past year of commit activity
    C 6 GPL-2.0 0 0 0 Updated Dec 30, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…