Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 54 8

  2. ITSTools ITSTools Public

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

    Python 22 10

  3. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 13 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 9 1

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

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

    Python 9 2

Repositories

Showing 10 of 25 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 9 2 1 (1 issue needs help) 1 Updated Nov 7, 2024
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 54 GPL-2.0 8 25 (5 issues need help) 3 Updated Nov 7, 2024
  • tas-yagle Public

    Static Timing Analyser (LIP6)

    lip6/tas-yagle’s past year of commit activity
    C 1 GPL-2.0 0 0 0 Updated Nov 7, 2024
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 6 2 0 1 Updated Oct 25, 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
    0 Apache-2.0 7 0 0 Updated Oct 9, 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 9 1 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++ 13 4 0 0 Updated Aug 26, 2024
  • ITSTools Public

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

    lip6/ITSTools’s past year of commit activity
    Python 22 GPL-3.0 10 6 3 Updated Jul 8, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…