{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"alliance-check-toolkit","owner":"lip6","isFork":false,"description":"Tutorial, examples and regression tests for Coriolis &amp; Alliance (LIP6)","topicNames":["vlsi-design"],"topicsNotShown":0,"allTopics":["vlsi-design"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T11:46:52.587Z"}},{"type":"Public","name":"ITSTools","owner":"lip6","isFork":false,"description":"A multi-formalism, multi-solution model-checker centered on the language GAL","topicNames":["eclipse","ltl","safety","model-checking","petri-net","model-driven-development","ctl"],"topicsNotShown":0,"allTopics":["eclipse","ltl","safety","model-checking","petri-net","model-driven-development","ctl"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":6,"starsCount":22,"forksCount":10,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T10:42:14.994Z"}},{"type":"Public","name":"libDDD","owner":"lip6","isFork":false,"description":"Library for Data Decision Diagrams and Set Decision Diagrams","topicNames":["verification","symbolic","lgpl","decision-diagrams","cplusplus-11"],"topicsNotShown":0,"allTopics":["verification","symbolic","lgpl","decision-diagrams","cplusplus-11"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":10,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T04:58:53.354Z"}},{"type":"Public","name":"pnmlframework","owner":"lip6","isFork":false,"description":"This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - <a href=\"http://www.pnml.org\" rel=\"nofollow\">www.pnml.org</a>)","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":3,"starsCount":12,"forksCount":8,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T04:48:24.946Z"}},{"type":"Public","name":"Louvain-BinaryBuild","owner":"lip6","isFork":false,"description":"A project to host binary artifacts for Louvain Community Detection Algorithm","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T04:30:26.324Z"}},{"type":"Public","name":"libITS","owner":"lip6","isFork":false,"description":"Core Guarded Action Language and Instantiable Transition System semantics using libDDD.","topicNames":["cplusplus","gplv3","symbolic","model-checking","decision-diagrams"],"topicsNotShown":0,"allTopics":["cplusplus","gplv3","symbolic","model-checking","decision-diagrams"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":7,"forksCount":5,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T04:14:39.595Z"}},{"type":"Public","name":"Coloane","owner":"lip6","isFork":false,"description":"Maintained components of Coloane editor.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-20T04:05:25.583Z"}},{"type":"Public","name":"alliance","owner":"lip6","isFork":false,"description":"Alliance VLSI CAD Tools (LIP6)","topicNames":["eda","vlsi-physical-design"],"topicsNotShown":0,"allTopics":["eda","vlsi-physical-design"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-19T14:55:58.298Z"}},{"type":"Public","name":"coriolis","owner":"lip6","isFork":false,"description":"Coriolis VLSI EDA Tool (LIP6)","topicNames":["eda","vlsi-physical-design"],"topicsNotShown":0,"allTopics":["eda","vlsi-physical-design"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":25,"starsCount":41,"forksCount":5,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T16:50:08.831Z"}},{"type":"Public","name":"core-v-180-mcu","owner":"lip6","isFork":false,"description":"CORE-V Implementation on GF 180 MCU node","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-18T09:55:37.308Z"}},{"type":"Public","name":"pnml2nupn","owner":"lip6","isFork":false,"description":"PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, <a href=\"http://www.pnml.org\" rel=\"nofollow\">www.pnml.org</a>) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd structural analyser tool of the CADP tool suite.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-05T22:09:50.109Z"}},{"type":"Public","name":"painless","owner":"lip6","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-14T16:54:05.481Z"}},{"type":"Public","name":"tas-yagle","owner":"lip6","isFork":false,"description":"Static Timing Analyser (LIP6)","topicNames":["eda","timing-analysis"],"topicsNotShown":0,"allTopics":["eda","timing-analysis"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-20T15:13:35.358Z"}},{"type":"Public","name":"ITSTools-web","owner":"lip6","isFork":false,"description":"Web page and online docs for ITS Tools","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-12T05:56:15.933Z"}},{"type":"Public archive","name":"ITS-LTL","owner":"lip6","isFork":false,"description":"ITS tools and SPOT combine to provide symbolic model-checking of LTL","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-13T11:09:32.592Z"}},{"type":"Public archive","name":"ITS-CTL","owner":"lip6","isFork":false,"description":"CTL symbolic model-checker based on libDDD and libITS","topicNames":["c","cplusplus","gplv3","symbolic","model-checking","computation-tree-logic"],"topicsNotShown":0,"allTopics":["c","cplusplus","gplv3","symbolic","model-checking","computation-tree-logic"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-13T11:06:11.638Z"}},{"type":"Public archive","name":"ITS-commandline","owner":"lip6","isFork":false,"description":"A project to host command-line version of ITS-Tools components embedded in eclipse","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-11T12:11:47.236Z"}},{"type":"Public","name":"Evinrude","owner":"lip6","isFork":false,"description":"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.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-21T11:11:29.456Z"}},{"type":"Public","name":"GreatSPN-BinaryBuild","owner":"lip6","isFork":false,"description":"A project to host binary builds of GreatSPN related toolset, as used in ITS-tools","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-12T10:04:11.116Z"}},{"type":"Public","name":"cosy","owner":"lip6","isFork":false,"description":"","topicNames":["sat-solver","symmetry","sat","sbp","satisfiability","symmetry-breaking","symmetry-reduction","cosy","esbp"],"topicsNotShown":0,"allTopics":["sat-solver","symmetry","sat","sbp","satisfiability","symmetry-breaking","symmetry-reduction","cosy","esbp"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-23T16:02:32.927Z"}},{"type":"Public","name":"ESBP_SEL","owner":"lip6","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-19T23:32:19.199Z"}},{"type":"Public","name":"minisat-SymSp","owner":"lip6","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-11T15:12:14.925Z"}},{"type":"Public","name":"TSAR-DHCCP","owner":"lip6","isFork":false,"description":"Verification of the Distributed Hybrid Cache Coherence protocol of the TeraScale Architecture","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-09T10:46:34.331Z"}},{"type":"Public","name":"camipnml","owner":"lip6","isFork":false,"description":"Cami to PNML is a model transformation tool that converts CPN-AMI's CAMI format into PNML (Petri Nets Markup Language) and vice versa.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Eclipse Public License 1.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-02-23T11:52:41.607Z"}}],"repositoryCount":24,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}