kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Public GitHub Catalog
Discovered Sep 27, 2026
kasonchan / Java_TinyJavaSymbolTable
This program implements symbol table management routines to store all of the identifiers and integrate semantic actions into your parser to build the symbol table and output the symbol table.
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.
#10375027GitHub 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.