[go: up one dir, main page]

Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 57 10

  2. ITSTools ITSTools Public

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

    Python 23 10

  3. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 14 4

  4. 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

  5. alliance alliance Public

    Alliance VLSI CAD Tools (LIP6)

    C 12 3

  6. painless painless Public

    A framework to ease parallelization of sequential SAT solvers

    C++ 11 2

Repositories

Showing 10 of 26 repositories
  • tas-yagle Public

    Static Timing Analyser (LIP6)

    lip6/tas-yagle’s past year of commit activity
    C 2 GPL-2.0 0 0 0 Updated Nov 29, 2024
  • 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 Nov 22, 2024
  • 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 65 0 0 Updated Nov 20, 2024
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 57 GPL-2.0 10 25 (5 issues need help) 3 Updated Nov 20, 2024
  • alliance-check-toolkit Public

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

    lip6/alliance-check-toolkit’s past year of commit activity
    Python 10 3 1 (1 issue needs help) 1 Updated Nov 18, 2024
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 11 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
  • alliance Public

    Alliance VLSI CAD Tools (LIP6)

    lip6/alliance’s past year of commit activity
    C 12 3 0 0 Updated Sep 27, 2024
  • libITS Public

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

    lip6/libITS’s past year of commit activity
    C++ 8 GPL-3.0 5 0 2 Updated Aug 26, 2024
  • libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    lip6/libDDD’s past year of commit activity
    C++ 14 4 0 0 Updated Aug 26, 2024

Most used topics

Loading…