kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Public GitHub Catalog
Discovered Sep 27, 2026
kasonchan / C_ServerClientMathLibrary
This project is a Server-Client math library. User can set up the server using TCP or UDP connection. After setting up the TCP or UDP, other user can choose to connect to the server using TCP or UDP. User then can input the math problem including the addition, subtraction, multiplication and division operations and the server will return the result in decimal number.
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.
#10714177GitHub 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.