csvan/progtekf
Excercise solutions for students taking the course Programmeringsteknik F at Chalmers
Public GitHub Catalog
Discovered Sep 29, 2026
csvan / keytestgen
KeYTestGen is an automated test case generation for JavaCard, based on symbolic execution.
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.
#13929368GitHub System ID
csvanOrganization / User
PublicVisibility
ActiveCatalog Status
More from csvan
csvan/phatgeo
Lightweight Java Framework for creating GeoJSON structures.
csvan/csvan-home
Personal homepage.