kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Public GitHub Catalog
Discovered Sep 27, 2026
kasonchan / Java_FileOutputInput
This FileOI class provides the join and split functions to join and split files.
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.
#10443321GitHub System ID
kasonchanOrganization / User
PublicVisibility
ActiveCatalog Status
More from kasonchan
kasonchan/Scala_MatrixCalculatorModelBasedTestings
This repository contains implementation of Matrix Calculator Model-based Testings for the Matrix Calculator, Multi-threaded Android Application, written in Scala with Eclipse, Android SDK, ADT, AndroidProguardScala and Robotium.
kasonchan/Scala_MatrixCalculatorFunctionTests
This repository contains implementation of Matrix Calculator Functional Tests for the Matrix Calculator, Multi-threaded Android Application, written in Scala with Eclipse, Android SDK, ADT and AndroidProguardScala.
kasonchan/Scala_MatrixCalculator
This repository is an implementation of Matrix Calculator, Multi-threaded Android Application, written in Scala with Eclipse, Android SDK, ADT and AndroidProguardScala.