Skip to content
@lip6

LIP6, Sorbonne Université

Popular repositories Loading

  1. coriolis coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    C++ 52 7

  2. ITSTools ITSTools Public

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

    Python 22 10

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

  4. libDDD libDDD Public

    Library for Data Decision Diagrams and Set Decision Diagrams

    C++ 12 4

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

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

    Python 9 2

  6. libITS libITS Public

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

    C++ 8 5

Repositories

Showing 10 of 24 repositories
  • 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 Oct 31, 2024
  • coriolis Public

    Coriolis VLSI EDA Tool (LIP6)

    lip6/coriolis’s past year of commit activity
    C++ 52 GPL-2.0 7 25 (5 issues need help) 3 Updated Oct 30, 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 9 2 1 (1 issue needs help) 1 Updated Oct 29, 2024
  • painless Public

    A framework to ease parallelization of sequential SAT solvers

    lip6/painless’s past year of commit activity
    C++ 4 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 8 0 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++ 12 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
  • Louvain-BinaryBuild Public

    A project to host binary artifacts for Louvain Community Detection Algorithm

    lip6/Louvain-BinaryBuild’s past year of commit activity
    C++ 2 GPL-3.0 1 0 1 Updated Jul 8, 2024
View all repositories

Top languages

Loading…