{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"daikon","owner":"codespecs","isFork":false,"description":"Dynamic detection of likely invariants","allTopics":["c","java","machine-learning","csharp","eiffel","perl","specifications","machinelearning","specification-by-example","specif"],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":5,"issueCount":22,"starsCount":204,"forksCount":54,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-02T01:45:08.256Z"}},{"type":"Public","name":"commons-bcel","owner":"codespecs","isFork":true,"description":"Mirror of Apache Commons BCEL","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-31T16:04:50.672Z"}},{"type":"Public","name":"fjalar","owner":"codespecs","isFork":false,"description":"A dynamic analysis framework for C and C++ programs","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":6,"starsCount":26,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T21:31:48.800Z"}},{"type":"Public","name":"test-daikon-staging","owner":"codespecs","isFork":false,"description":"Test the staging Daikon distribution","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","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","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","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"}