Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 62 11

  2. ITSTools ITSTools Public

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

    Python 23 11

  3. painless painless Public

    A framework to ease parallelization of sequential SAT solvers

    C++ 15 2

  4. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 14 4

  5. pnmlframework 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 12 9

  6. alliance alliance Public

    Alliance VLSI CAD Tools (LIP6)

    C 12 3

Repositories

Showing 10 of 27 repositories
  • alliance-check-toolkit Public

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

    lip6/alliance-check-toolkit’s past year of commit activity
    Python 12 3 1 (1 issue needs help) 1 Updated Feb 24, 2025
  • alliance Public

    Alliance VLSI CAD Tools (LIP6)

    lip6/alliance’s past year of commit activity
    C 12 3 0 0 Updated Feb 24, 2025
  • ITSTools Public

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

    lip6/ITSTools’s past year of commit activity
    Python 23 GPL-3.0 11 7 3 Updated Feb 22, 2025
  • tas-yagle Public

    Static Timing Analyser (LIP6)

    lip6/tas-yagle’s past year of commit activity
    C 5 GPL-2.0 0 0 0 Updated Feb 14, 2025
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 62 GPL-2.0 11 25 (5 issues need help) 3 Updated Feb 14, 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 1 1 2 Updated Feb 12, 2025
  • IHP-Open-PDK Public Forked from IHP-GmbH/IHP-Open-PDK

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

    lip6/IHP-Open-PDK’s past year of commit activity
    HTML 0 Apache-2.0 72 0 0 Updated Feb 8, 2025
  • IHP_SG13G2_TO_Nov2024 Public Forked from IHP-GmbH/TO_Nov2024

    IHP Open source SG13G2 Tape Out on November 2024

    lip6/IHP_SG13G2_TO_Nov2024’s past year of commit activity
    Verilog 0 Apache-2.0 15 0 0 Updated Dec 4, 2024
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 15 2 0 1 Updated Oct 25, 2024
  • Coloane Public

    Maintained components of Coloane editor.

    lip6/Coloane’s past year of commit activity
    Java 2 0 1 1 Updated Sep 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…