{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"d4v2","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":3,"starsCount":7,"forksCount":6,"license":"GNU Lesser General Public License v2.1","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T18:22:39.159Z"}},{"type":"Public","name":"pyxai","owner":"crillab","isFork":false,"description":"PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).","topicNames":["random-forest","regression","classification","decision-tree","boosted-trees","xai","python"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":22,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T12:23:37.761Z"}},{"type":"Public","name":"crusti_bat","owner":"crillab","isFork":false,"description":"A Belief Aggregation Tool.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T08:31:32.251Z"}},{"type":"Public","name":"stereo2vec","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-13T16:03:53.849Z"}},{"type":"Public","name":"gophersat","owner":"crillab","isFork":false,"description":"gophersat, a SAT solver in Go","topicNames":["constraint-satisfaction-problem","artificial-intelligence","constraints","boolean-formulas","sat-solver","pseudo-boolean-solver"],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":3,"issueCount":5,"starsCount":358,"forksCount":24,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-25T10:08:21.789Z"}},{"type":"Public","name":"crustabri_ipafair","owner":"crillab","isFork":false,"description":"An IPAFAIR compatible library built upon the Crustabri solver.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T15:00:21.924Z"}},{"type":"Public","name":"crustabri","owner":"crillab","isFork":false,"description":"An argumentation framework library & solver.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T14:48:08.716Z"}},{"type":"Public","name":"crusti_g2io","owner":"crillab","isFork":false,"description":"A Graph Generator following an Inner/Outer pattern.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-11T22:02:29.482Z"}},{"type":"Public","name":"apx2tgf","owner":"crillab","isFork":false,"description":"APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-11T14:54:27.747Z"}},{"type":"Public","name":"pblib-rs","owner":"crillab","isFork":false,"description":"Rust safe bindings for pblib.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-04T11:24:52.161Z"}},{"type":"Public","name":"rubens","owner":"crillab","isFork":false,"description":"RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interface conceived in order to create new ones with few effort.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":4,"issueCount":0,"starsCount":3,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-29T22:45:10.683Z"}},{"type":"Public","name":"panoramyx","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-11T18:52:54.424Z"}},{"type":"Public","name":"remote-control","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-14T09:01:50.663Z"}},{"type":"Public","name":"aceurancetourix","owner":"crillab","isFork":false,"description":"Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.","topicNames":["solver","constraint-programming","universe","universe-adapter","tootatis"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-07T07:28:23.172Z"}},{"type":"Public","name":"ipafair-sys","owner":"crillab","isFork":false,"description":"Rust bindings for the IPAFAIR API.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-06T09:29:17.460Z"}},{"type":"Public","name":"vcpkg-registry","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-12T16:38:06.103Z"}},{"type":"Public","name":"autis","owner":"crillab","isFork":false,"description":"AUTIS library allows parsing combinatorial problem instances for different common formats. ","topicNames":["cpp","constraint-programming","dimacs","xcsp3","tootatis","opb"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-12T16:13:56.615Z"}},{"type":"Public","name":"universe","owner":"crillab","isFork":false,"description":"","topicNames":["constraint-programming","universe","tootatis","cpp"],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-12T15:20:02.376Z"}},{"type":"Public","name":"juniverse","owner":"crillab","isFork":false,"description":"","topicNames":["constraint-programming","universe","tootatis","java"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T17:40:24.273Z"}},{"type":"Public","name":"tootatis","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-02T21:27:43.559Z"}},{"type":"Public","name":"easyjni","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-01T08:57:48.820Z"}},{"type":"Public","name":"except","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CMake","color":"#DA3434"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-30T10:12:11.630Z"}},{"type":"Public","name":"metrics","owner":"crillab","isFork":false,"description":"mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T12:43:06.053Z"}},{"type":"Public","name":"autograph","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T12:15:17.902Z"}},{"type":"Public","name":"d4","owner":"crillab","isFork":false,"description":"d4 Model Counter","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":5,"starsCount":13,"forksCount":4,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T14:25:24.141Z"}},{"type":"Public","name":"CSUniverse","owner":"crillab","isFork":false,"description":"CSUuniverse is a C# version of UNIVERSE.","topicNames":["solver","constraint-programming","universe","tootatis"],"topicsNotShown":0,"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-17T14:18:18.105Z"}},{"type":"Public","name":"jkahypar","owner":"crillab","isFork":false,"description":"A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).","topicNames":["hmetis","kahypar","partitioning-hypergraphs"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":4,"starsCount":2,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-17T12:37:10.662Z"}},{"type":"Public","name":"dsyrup","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-26T08:24:39.896Z"}},{"type":"Public","name":"metrics-examples","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-30T10:01:20.365Z"}},{"type":"Public","name":"b-plus-e","owner":"crillab","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T16:13:14.384Z"}}],"repositoryCount":40,"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}