kwanghoon/safeNFCTaskApp
Public repository.
Public GitHub Catalog
Discovered Sep 28, 2026
kwanghoon / JavaAnalysis
A Type and Effect System for Activation Flow of Components in Android-like Programs
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.
#11684626GitHub System ID
kwanghoonOrganization / User
PublicVisibility
ActiveCatalog Status
More from kwanghoon
kwanghoon/TheoremProver
A Haskell implementation of a tactical theorem prover (Ref. L.C. Paulson's ML for the Working Programmer)
kwanghoon/exceptionRefactoring
An inter-component exception handling library and its applications
kwanghoon/guitar
Public repository.