blkbsstt/simple-maven-project-with-tests
A Maven project that just has some test failures (and skips) at random, to demonstrate result reporting.
Public GitHub Catalog
Discovered Oct 6, 2026
blkbsstt / LTL
A DSL for Linear Temporal Logic + Interface with Z3 for solving
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#31979378GitHub System ID
blkbssttOrganization / User
PublicVisibility
ActiveCatalog Status
More from blkbsstt
blkbsstt/graph-coverage
Test coverage over graph abstraction (practicing clojure)
blkbsstt/wedding
Public repository.
blkbsstt/blkbsstt.github.io
Public repository.