Admin message

Scheduled rate-limit preview window: between 15:00 and 19:00 UTC on 14 October, the new limits will be briefly active so you can see how your workloads are affected. They are live only during this window, and apply permanently from 19 October. Learn more.

T
Test Generation

  • Any
  • Batchfile
  • Blade
  • C
  • C#
  • C++
  • CMake
  • CSS
  • Dockerfile
  • Go
  • HCL
  • HTML
  • Java
  • JavaScript
  • Kotlin
  • Makefile
  • Objective-C
  • PHP
  • Python
  • Ruby
  • SCSS
  • Shell
  • Swift
  • TSX
  • TypeScript
  • Vue

Projects with this topic

Sort by:
  • Sort by
  • Updated date
  • Name
  • Name, descending
  • Oldest updated
  • Oldest created
  • Last created
  • Most stars
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • View Bubaak project
    B

    Marek Chalupa / Bubaak

    Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

    verification Symbolic exe... invariants Test Generation Model Checking software ver... induction
    0
    Updated Oct 13, 2026
    0 2 1 19
    Updated Oct 13, 2026