{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cpachecker","owner":"sosy-lab","isFork":false,"description":"CPAchecker, the Configurable Software-Verification Platform (read-only mirror)","topicNames":["c","verification","software-verification","java","static-analysis"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":213,"forksCount":90,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-15T08:43:53.983Z"}},{"type":"Public","name":"java-smt","owner":"sosy-lab","isFork":false,"description":"JavaSMT - Unified Java API for SMT solvers.","topicNames":["java","smt","solver"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":8,"issueCount":56,"starsCount":171,"forksCount":42,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T11:25:34.887Z"}},{"type":"Public","name":"java-common-lib","owner":"sosy-lab","isFork":false,"description":"SoSy-Lab Java Common Library","topicNames":["java"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":12,"starsCount":12,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T02:06:32.599Z"}},{"type":"Public","name":"eclipse-cdt","owner":"sosy-lab","isFork":true,"description":"Eclipse CDT™ C/C++ Development Tools","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":187,"license":"Eclipse Public License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-06T10:35:34.549Z"}},{"type":"Public","name":"llvm-j","owner":"sosy-lab","isFork":true,"description":"Java bindings for LLVM libraries","topicNames":["java","llvm"],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":8,"forksCount":17,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-27T08:24:55.775Z"}},{"type":"Public","name":"collectd-plugin-sml_electricity_meter","owner":"sosy-lab","isFork":true,"description":"Collectd plugin to receive and parse data packets from an SML-capable electricity meter","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-04T08:33:52.726Z"}},{"type":"Public","name":"sml-serial-receiver","owner":"sosy-lab","isFork":true,"description":"Receive data packets from an SML-capable electricity meter and print their contents in a human-readable format","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-04T08:14:29.149Z"}}],"repositoryCount":7,"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"}