kasonchan/Scala_MatrixCalculatorFormalVerification
This repo contains the Formal Verification of the Matrix Calculator Android Application.
Developer Profile
kasonchan
Discovered public repositories for kasonchan in the GitHub catalog.
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.
kasonchan/Java_LinkedListDeque
The Deque class which is an abbreviation for double-ended queue, is a sequential container that functions like a queue (or a stack) at both ends.
kasonchan/HTML_PHP_ChoicesGenerators
This repo contains some functions to generate radio buttons, pick list.
kasonchan/MIPS_BinarySearchTreeLibraryDatabase
This project is a library database with MIPS that is structured as a Binary Search Tree (BST)
kasonchan/HTML_PHP_AppointmentManagementSystem
This project is a web based appointment management system with HTML and PHP.
kasonchan/Java_TinyJavaCCodeGenerator
This program uses Java and CUP to generate the Lexical Analyzer, Parser, Symbol Table and the equivalent C Code from the input Tiny Java program.
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.
kasonchan/Java_ArraySortingAlgorithms
Public repository.
kasonchan/Java_BinarySearchTree
This repo is a Java implementation of Binary Search Tree (BST.)
kasonchan/CPluePlus_BinaryYesNoQuestionsTree
This is a 20 questions game that stores the knowledge in a binary yes/no tree.
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.
kasonchan/CSharp_FormReadWriteXML
This C# program reads from and writes to files in XML format.
kasonchan/Java_FileOutputInput
This FileOI class provides the join and split functions to join and split files.
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.
kasonchan/Java_TinyJavaParser
This program uses CUP tool to automatically construct a parser for TinyJava from an appropriate grammar specification.
kasonchan/Java_TinyJavaLexicalAnalyzer
This program use jflex tool to automatically construct a lexical analyzer for TinyJava from a set of regular expressions specifying tokens.
kasonchan/HTML_PHP_MYSQL_ECOMMERCE
This project is an E-commerce system like Amazon, etc that allows users to buy and sell products.
kasonchan/HTML_PHP_MYSQL_RestaurantOrderManagement
This project is a web-based system that will potentially reduce the load on wait staff for a sandwich restaurant.