{"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-15T17:42:18.983Z"}},{"type":"Public","name":"benchexec","owner":"sosy-lab","isFork":false,"description":"BenchExec: A Framework for Reliable Benchmarking and Resource Measurement","topicNames":["benchmarking","benchmark-framework","python","linux","benchmark","cgroups","resource-measurement"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":10,"issueCount":80,"starsCount":193,"forksCount":191,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T18:29:52.931Z"}},{"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":"cpu-energy-meter","owner":"sosy-lab","isFork":false,"description":"A tool for measuring energy consumption of Intel CPUs","topicNames":["energy","resource-measurement","linux","rapl"],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":1,"starsCount":110,"forksCount":27,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-02T07:08:26.794Z"}},{"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":"artifact-evaluation","owner":"sosy-lab","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-19T15:39:10.238Z"}},{"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":"XCSP3_to_C","owner":"sosy-lab","isFork":true,"description":"Implementation of the paper translating XCSP3 benchmarks to C code","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-03T13:26:32.002Z"}},{"type":"Public","name":"collectd-plugin-intel_cpu_energy","owner":"sosy-lab","isFork":true,"description":"A collectd plugin for monitoring the power usage of 2nd gen (or later) Intel Core processors","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-16T07:37:28.138Z"}},{"type":"Public","name":"license-research-evaluation","owner":"sosy-lab","isFork":false,"description":"This project is for the development and maintenance of a license for participation in research competitions.","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-13T13:44:52.183Z"}},{"type":"Public","name":"crest","owner":"sosy-lab","isFork":true,"description":"CREST is a concolic test generation tool for C.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":51,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-28T16:40:14.460Z"}},{"type":"Public","name":"reprozip","owner":"sosy-lab","isFork":true,"description":"ReproZip is a tool that simplifies the process of creating reproducible experiments from command-line executions, a frequently-used common denominator in computational science.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":33,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-02T13:57:09.574Z"}},{"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"}},{"type":"Public","name":"cbmc","owner":"sosy-lab","isFork":true,"description":"C Bounded Model Checker","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":251,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-24T08:20:47.060Z"}}],"repositoryCount":16,"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"}