Repositories list

• hw-cbmc

  Public
  The HW-CBMC and EBMC Model Checkers for Verilog

  C++

  •

  Other

  •19•82•26•41•Updated Jul 28, 2025Jul 28, 2025

• cbmc

  Public
  C Bounded Model Checker

  C++

  •

  Other

  •278•936•441•141•Updated Jul 28, 2025Jul 28, 2025

• redash-loader

  Public
  Tool to extract and reload queries and dashboards from a redash instance as plain text that can be managed with a SCM like git

  Python

  •

  Apache License 2.0

  •2•0•0•1•Updated Jul 15, 2025Jul 15, 2025

• cover-github-action

  Public
  GitHub Action for running Diffblue Cover from a GitHub Actions workflow

  TypeScript

  •

  MIT License

  •2•28•0•6•Updated Jul 14, 2025Jul 14, 2025

• PiggymetricsDiffblueTests

  Public
  Java

  •

  MIT License

  •2•1•0•0•Updated Jul 14, 2025Jul 14, 2025

• demo-spring-petclinic

  Public
  Demo based on Spring Petclinic

  CSS

  •

  Apache License 2.0

  •10•1•0•1•Updated Jul 14, 2025Jul 14, 2025

• homebrew-cbmc

  Public
  brew tap for CBMC

  Ruby

  •

  Other

  •2•3•0•0•Updated Jul 10, 2025Jul 10, 2025

• cover-annotations

  Public
  Cover Annotations

  Java

  •

  Apache License 2.0

  •0•5•0•0•Updated Jun 12, 2025Jun 12, 2025

• CoreBanking

  Public
  A simple CoreBanking app for demo purposes.

  Java

  •

  Apache License 2.0

  •13•11•0•2•Updated May 29, 2025May 29, 2025

• demo-java-ee-servlet

  Public
  Demonstrates Diffblue performance on a Java EE Servlet API project

  Java

  •0•0•0•1•Updated Mar 6, 2025Mar 6, 2025

• apache-ant

  Public
  Fork for testing purposes.

  Java

  •

  Other

  •445•0•0•0•Updated Jan 23, 2025Jan 23, 2025

• cprover-sv-comp

  Public
  CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

  BitBake

  •12•2•1•4•Updated Nov 22, 2024Nov 22, 2024

• 2ls

  Public
  Static Analyzer and Verifier

  C++

  •

  Other

  •25•48•55•4•Updated Oct 12, 2024Oct 12, 2024

• java-demo

  Public
  Demonstration project for Java analysis

  Java

  •

  Other

  •28•14•0•3•Updated Aug 1, 2024Aug 1, 2024

• SpringHotelManagementSystemExample

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• cover-pipelines

  Public
  Shell

  •2•0•0•0•Updated Apr 23, 2024Apr 23, 2024

• ci-log-diff

  Public
  Tool to analyse log files from CI and highlight where changes are important

  TypeScript

  •

  Apache License 2.0

  •0•1•0•0•Updated Mar 16, 2024Mar 16, 2024

• detekt

  Public
  Detekt project with tests created by cover

  Kotlin

  •

  Apache License 2.0

  •0•0•0•1•Updated Mar 5, 2024Mar 5, 2024

• tutorials

  Public
  Source Code Examples for Diffblue Tutorials

  Java

  •0•0•0•1•Updated Oct 19, 2023Oct 19, 2023

• gitlab

  Public
  Clone of https://gitlab.com/gitlab-org/gitlab

  Ruby

  •

  Other

  •4•4•0•0•Updated Sep 28, 2023Sep 28, 2023

• aws-training

  Public
  Material for AWS training days

  C

  •0•0•0•0•Updated Jul 28, 2023Jul 28, 2023

• redash

  Public
  Make Your Company Data Driven. Connect to any data source, easily visualize, dashboard and share your data.

  Python

  •

  BSD 2-Clause "Simplified" License

  •4.5k•0•0•1•Updated Jun 22, 2023Jun 22, 2023

• getting-started-with-springboot-and-docker

  Public
  Getting started with Spring Boot and Docker

  Java

  •0•0•0•0•Updated Jun 19, 2023Jun 19, 2023

• JUnit-Examples

  Public
  About JUnit 5, IntelliJ, Mockit and Diffblue Cover Code Samples

  Java

  •0•0•0•0•Updated Jun 19, 2023Jun 19, 2023

• demo-nacos

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 14, 2023Jun 14, 2023

• TicTacToe

  Public
  Example Project for E-Book Tutorial

  Java

  •

  Other

  •1•0•0•0•Updated Jun 6, 2023Jun 6, 2023

• nacos-fork

  Public archive
  an easy-to-use dynamic service discovery, configuration and service management platform for building cloud native applications.

  Java

  •

  Apache License 2.0

  •13k•0•0•0•Updated Apr 26, 2023Apr 26, 2023

• eureka-fork

  Public archive
  AWS Service registry for resilient mid-tier load balancing and failover.

  Java

  •

  Apache License 2.0

  •3.8k•0•0•0•Updated Apr 18, 2023Apr 18, 2023

• java-models-library

  Public
  JDK 8 class model library

  Java

  •4•4•1•0•Updated Oct 22, 2022Oct 22, 2022

• intellij-community

  Public
  IntelliJ IDEA Community Edition

  Apache License 2.0

  •5.5k•1•0•0•Updated Mar 16, 2022Mar 16, 2022