kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Public GitHub Catalog
Discovered Sep 27, 2026
kasonchan / Java_LinkedListQueue
A queue exhibits First-In-First-Out (FIFO) behavior. It is a sequence of data items with the property that items can be removed only at one end, called the front of the queue, and items can be added only at the other end, called the back of queue.
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.
#10575092GitHub 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.