Skip to content

@lip6 LIP6, Sorbonne Université

Change the repository type filter

All

    Repositories list

    35 repositories

    • painless

      Public
      A framework to ease parallelization of sequential SAT solvers
      C++
      •
      Other
      •11•35•1•1•Updated May 17, 2026May 17, 2026

    • coriolis-designs

      Public
      Python
      •1•1•0•1•Updated May 15, 2026May 15, 2026

    • alliance-check-toolkit

      Public
      Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)
      vlsi-design
      vlsi-design
      Python
      •5•16•1•1•Updated May 15, 2026May 15, 2026

    • coriolis-pdk-lsxlib

      Public
      Coriolis PDK for LSxLib (symbolic)
      Python
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated May 13, 2026May 13, 2026

    • coriolis

      Public
      Coriolis VLSI EDA Tool (LIP6)
      edavlsi-physical-design
      edavlsi-physical-design
      C++
      •
      GNU General Public License v2.0
      •18•87•25•5•Updated May 13, 2026May 13, 2026

    • coriolis-pdk-sky130-c4m

      Public
      Chips4Makers PDK Master cells for Coriolis / SkyWater 130A
      Python
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated May 11, 2026May 11, 2026

    • coriolis-pdk-ihpsg13g2-c4m

      Public
      Port of Chip4Makers IHP SG13S2 PDK
      Python
      •
      GNU General Public License v2.0
      •2•1•1•3•Updated May 11, 2026May 11, 2026

    • ITSTools

      Public
      A multi-formalism, multi-solution model-checker centered on the language GAL
      eclipseltlsafety
      eclipseltlsafetymodel-checkingpetri-netmodel-driven-developmentctl
      Python
      •
      GNU General Public License v3.0
      •12•27•7•1•Updated Apr 30, 2026Apr 30, 2026

    • 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
      •
      Eclipse Public License 1.0
      •10•13•3•2•Updated Apr 15, 2026Apr 15, 2026

    • coriolis-pdk-gf180mcu-c4m

      Public
      GF180 MCU - Chips4Makers PDK for Coriolis
      Python
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated Apr 15, 2026Apr 15, 2026

    • coriolis-pdk-gf180mcu

      Public
      GF180MCU native PDK for Coriolis
      Python
      •2•1•0•2•Updated Apr 15, 2026Apr 15, 2026

    • coriolis-pdk-nsx2

      Public
      PDK for symbolic NSxLib
      Python
      •
      GNU General Public License v2.0
      •1•1•0•1•Updated Apr 14, 2026Apr 14, 2026

    • coriolis-pdk-ihpsg13g2

      Public
      Coriolis provided version of IHP SG13G2 Open PDK
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 14, 2026Apr 14, 2026

    • Coloane

      Public
      Maintained components of Coloane editor.
      Java
      •0•2•1•1•Updated Mar 2, 2026Mar 2, 2026

    • tas-yagle

      Public
      Static Timing Analyser (LIP6)
      edatiming-analysis
      edatiming-analysis
      C
      •
      GNU General Public License v2.0
      •0•6•0•0•Updated Dec 30, 2025Dec 30, 2025

    • coriolis-designs-croc

      Public
      Physical implementation of Croc with Coriolis
      Python
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Dec 12, 2025Dec 12, 2025

    • alliance

      Public
      Alliance VLSI CAD Tools (LIP6)
      edavlsi-physical-design
      edavlsi-physical-design
      C
      •4•22•0•0•Updated Dec 11, 2025Dec 11, 2025

    • libITS

      Public
      Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
      cplusplusgplv3symbolic
      cplusplusgplv3symbolicmodel-checkingdecision-diagrams
      C++
      •
      GNU General Public License v3.0
      •5•9•0•2•Updated Sep 18, 2025Sep 18, 2025

    • libDDD

      Public
      Library for Data Decision Diagrams and Set Decision Diagrams
      verificationsymboliclgpl
      verificationsymboliclgpldecision-diagramscplusplus-11
      C++
      •
      Other
      •5•16•0•0•Updated Sep 10, 2025Sep 10, 2025

    • IHP-Open-PDK

      Public
      130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
      HTML
      •
      Apache License 2.0
      •145•0•0•0•Updated Feb 8, 2025Feb 8, 2025

    • IHP_SG13G2_TO_Nov2024

      Public
      IHP Open source SG13G2 Tape Out on November 2024
      Verilog
      •
      Apache License 2.0
      •16•0•0•0•Updated Dec 4, 2024Dec 4, 2024

    • Louvain-BinaryBuild

      Public
      A project to host binary artifacts for Louvain Community Detection Algorithm
      C++
      •
      GNU General Public License v3.0
      •1•2•0•1•Updated Jul 8, 2024Jul 8, 2024

    • core-v-180-mcu

      Public
      CORE-V Implementation on GF 180 MCU node
      Python
      •0•0•0•0•Updated Jan 18, 2024Jan 18, 2024

    • pnml2nupn

      Public
      PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd struc…
      Java
      •
      Eclipse Public License 1.0
      •1•2•0•1•Updated Dec 5, 2023Dec 5, 2023

    • ITSTools-web

      Public
      Web page and online docs for ITS Tools
      HTML
      •2•0•0•1•Updated Apr 12, 2023Apr 12, 2023

    • ITS-LTL

      Public archive
      ITS tools and SPOT combine to provide symbolic model-checking of LTL
      C++
      •0•2•0•0•Updated Sep 13, 2022Sep 13, 2022

    • ITS-CTL

      Public archive
      CTL symbolic model-checker based on libDDD and libITS
      ccplusplusgplv3
      ccplusplusgplv3symbolicmodel-checkingcomputation-tree-logic
      C
      •
      GNU General Public License v3.0
      •3•7•0•0•Updated Sep 13, 2022Sep 13, 2022

    • ITS-commandline

      Public archive
      A project to host command-line version of ITS-Tools components embedded in eclipse
      Java
      •6•1•0•1•Updated May 11, 2022May 11, 2022

    • Evinrude

      Public
      This is a prototype of the Evinrude tool developed by Jean-Baptiste Voron and Clément Démoulins while Jean-Baptiste was doing his Ph.D. under my supervision.
      Java
      •1•0•0•0•Updated Nov 21, 2021Nov 21, 2021

    • GreatSPN-BinaryBuild

      Public
      A project to host binary builds of GreatSPN related toolset, as used in ITS-tools
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 12, 2021Jun 12, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.