kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Public GitHub Catalog
Discovered Sep 27, 2026
kasonchan / Java_TinyJavaParser
This program uses CUP tool to automatically construct a parser for TinyJava from an appropriate grammar specification.
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.
#10374988GitHub 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.