{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"commons-bcel","owner":"codespecs","isFork":true,"description":"Mirror of Apache Commons BCEL","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":125,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T15:40:51.036Z"}},{"type":"Public","name":"daikon","owner":"codespecs","isFork":false,"description":"Dynamic detection of likely invariants","topicNames":["c","java","machine-learning","csharp","eiffel","perl","specifications","machinelearning","specification-by-example","specif"],"topicsNotShown":0,"allTopics":["c","java","machine-learning","csharp","eiffel","perl","specifications","machinelearning","specification-by-example","specif"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":22,"starsCount":203,"forksCount":54,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-22T17:09:15.256Z"}},{"type":"Public","name":"fjalar","owner":"codespecs","isFork":false,"description":"A dynamic analysis framework for C and C++ programs","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":6,"starsCount":26,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-14T18:51:33.406Z"}},{"type":"Public","name":"test-daikon-staging","owner":"codespecs","isFork":false,"description":"Test the staging Daikon distribution","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-24T04:53:06.614Z"}},{"type":"Public","name":"test-daikon-distribution","owner":"codespecs","isFork":false,"description":"Test the Daikon distribution","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-14T16:36:14.368Z"}},{"type":"Public","name":"test-daikon-distribution-macosx","owner":"codespecs","isFork":false,"description":"Test the Daikon distribution on Mac OS X","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-03T18:44:18.930Z"}},{"type":"Public","name":"daikon-dot-net-front-end","owner":"codespecs","isFork":false,"description":"Celeriac .NET Front-End for Daikon","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":29,"starsCount":9,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-22T02:31:12.439Z"}}],"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":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}