Pinned Repositories
17712-fantastic-bugs-assignment-1
Procedure file and output from Infer static analyzer for the 17712 assignment 1
ANTLR
Example grammars written in ANTLR, based on the book "The Definitive ANTLR 4 Reference"
Aramark-Cashier-Application
This program is created to help Aramark cashier count money more easily. It requires the number of each bill, and output data for the Aramark cashier forms.
ArduPilot-Modes
Ardupilot applications that use modes and mode-grouping
corewyvern
STL-API
wyvern
The Wyvern programming language.
sychoo's Repositories
sychoo/wyvern
The Wyvern programming language.
sychoo/Aramark-Cashier-Application
This program is created to help Aramark cashier count money more easily. It requires the number of each bill, and output data for the Aramark cashier forms.
sychoo/covid19
A php script that scraps COVID19 statistics from official and media websites, and display the latest result along with the source
sychoo/cps-synth-resolultion
Synthesis-based resolution of features/enforcers interactions in CPS
sychoo/CS-125
The code that was submitted for CS125, Spring 2017.
sychoo/docs
sychoo/DronecodeSDK
API and library for PX4 Autopilot using MAVLink written in C++11
sychoo/empirical-methods
Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University
sychoo/feature-interaction
sychoo/feature-interaction-prototype
sychoo/jMAVSim
Simple multirotor simulator with MAVLink protocol support
sychoo/learning-rust
sychoo/LeetCode
Some Code I have written on LeetCode
sychoo/lisp-interpreter
An interpreter written in LISP that can interpret a Pascal-like toy language.
sychoo/mavlink-router
Route mavlink packets between endpoints
sychoo/mini-js
A Subset of JavaScript Programming Language based on Alex Gaynor's Talk
sychoo/mtl-improved
Python library for working with Metric Temporal Logic (MTL)
sychoo/OCaml-beginner
A repository that assists learning OCaml for beginners
sychoo/pilot-license
sychoo/PX4-Autopilot
PX4 Autopilot Software
sychoo/quizSimulator
A Simple Quiz Simulator
sychoo/rustaceans.org
Backing data for
sychoo/shopping-angel
A web-and-mobile-based service that make it easier for people to get groceries.
sychoo/STL-Script
Implementation for STL Script Programming Language
sychoo/swift
The Swift Programming Language
sychoo/Swift-Programs
Quickstart Programs for iOS Developers
sychoo/sychoo.github.io-archived
Personal website for Simon Chu
sychoo/System-Configuration
Configurations
sychoo/twelve-days
Print twelve days of Christmas poem using Unix Signal mechanism
sychoo/wedge
Secure textual and graphical based password authentication scheme.