{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"cover-annotations","owner":"diffblue","isFork":false,"description":"Cover Annotations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T12:26:38.554Z"}},{"type":"Public","name":"PiggymetricsDiffblueTests","owner":"diffblue","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":[0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,3,0,2,0,1,0,4,0,1,0,1,0,0,0,1,0,2,0,1,0,0,1,1,0,1,0,1,0,2,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T14:52:55.745Z"}},{"type":"Public","name":"tutorials","owner":"diffblue","isFork":false,"description":"Source Code Examples for Diffblue Tutorials","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-19T12:42:28.199Z"}},{"type":"Public","name":"CoreBanking","owner":"diffblue","isFork":false,"description":"A simple CoreBanking app for demo purposes.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":0,"starsCount":9,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T15:43:15.817Z"}},{"type":"Public","name":"getting-started-with-springboot-and-docker","owner":"diffblue","isFork":false,"description":"Getting started with Spring Boot and Docker","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T11:00:36.069Z"}},{"type":"Public","name":"JUnit-Examples","owner":"diffblue","isFork":false,"description":"About JUnit 5, IntelliJ, Mockit and Diffblue Cover Code Samples","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-19T10:54:21.796Z"}},{"type":"Public","name":"demo-nacos","owner":"diffblue","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-14T18:00:09.160Z"}},{"type":"Public","name":"TicTacToe","owner":"diffblue","isFork":false,"description":"Example Project for E-Book Tutorial","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-06T16:08:37.644Z"}},{"type":"Public","name":"java-demo","owner":"diffblue","isFork":false,"description":"Demonstration project for Java analysis","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":3,"issueCount":0,"starsCount":14,"forksCount":28,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-14T12:10:53.989Z"}},{"type":"Public","name":"java-models-library","owner":"diffblue","isFork":false,"description":"JDK 8 class model library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-22T12:06:18.081Z"}},{"type":"Public","name":"apache-ant","owner":"diffblue","isFork":true,"description":"Fork for testing purposes.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":419,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-05T12:49:41.944Z"}},{"type":"Public","name":"BlueCov","owner":"diffblue","isFork":false,"description":"A tool for instrumenting Java bytecode based on properties defined by JBMC","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-01T17:53:32.817Z"}},{"type":"Public","name":"java-cprover-api","owner":"diffblue","isFork":false,"description":"Java library that exposes the CProver API of JBMC","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-23T16:49:46.649Z"}},{"type":"Public","name":"mocking-cookbook","owner":"diffblue","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-02T15:43:25.048Z"}},{"type":"Public","name":"ecommerce-demo","owner":"diffblue","isFork":false,"description":"An e-commerce Java Spring demo project","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":1,"starsCount":8,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-08T14:44:54.291Z"}},{"type":"Public","name":"eclipse-cbmc","owner":"diffblue","isFork":false,"description":"Eclipse plugin for CBMC","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":24,"starsCount":3,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-11T04:52:31.759Z"}}],"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"}