kasonchan/kerberos
This is an implementation of a key distribution server - Kerberos, which is written in Scala with Akka and SBT.
Public GitHub Catalog
Discovered Sep 29, 2026
kasonchan / Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
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.
#14846689GitHub System ID
kasonchanOrganization / User
PublicVisibility
ActiveCatalog Status
More from kasonchan
kasonchan/encryption
This repo contains some encryption algorithms, written in Scala.
kasonchan/parser
Public repository.
kasonchan/routing
This repo is created for practicing writing routers with Scala and Akka.