ckarawani/spring-security
Public repository.
Public GitHub Catalog
Discovered Sep 29, 2026
ckarawani / jml4disco
Java Modelling Language 4 Disco: Adds distribution and Boogie support to JML4
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#13650492GitHub System ID
ckarawaniOrganization / User
PublicVisibility
ActiveCatalog Status
More from ckarawani
ckarawani/ddd-cqrs-sample
Public repository.
ckarawani/coveralls-maven-plugin
Maven plugin for submitting Java code coverage reports to Coveralls web service.
ckarawani/jade4j
a jade implementation written in Java