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
GetTheOffer
Repository for Jeanie and Simon to practice coding interview and get offers from top tech companies.
STL-API
wyvern
The Wyvern programming language.
sychoo's Repositories
sychoo/STL-API
sychoo/17712-fantastic-bugs-assignment-1
Procedure file and output from Infer static analyzer for the 17712 assignment 1
sychoo/ANTLR
Example grammars written in ANTLR, based on the book "The Definitive ANTLR 4 Reference"
sychoo/ArduPilot-Modes
Ardupilot applications that use modes and mode-grouping
sychoo/corewyvern
sychoo/cps-degradation-recovery
This repository lists out all the code, model and data for the SEAMS 2024 paper titled "Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation"
sychoo/CPS-weakening-based-resolution
sychoo/CRV
sychoo/Document_Template
sychoo/Dragonfly
Tool for Simulating Self-adaptiveDrone Behaviours
sychoo/DroneSim2D
Modified from Dragonfly open source simulator
sychoo/E5-Mode-Grouping
P model that describes the the state machine based model for the ArduPilot mode grouping challenge.
sychoo/find-bug-final-project
sychoo/gradual-recovery-CPS
sychoo/hexo
Hexo configuration on my local computer
sychoo/learning-ReScript
sychoo/ltsa-r
LTSA tool with recovery analysis
sychoo/MAVLink-C-Library-for-ArduPilot
C Code to control ArduPilot ArduCopter
sychoo/NFM2022
sychoo/PFlight
Generate drone controller code using P model
sychoo/PFlight_Latest_P
sychoo/scallop-lang.github.io
sychoo/software-design-project
sychoo/STL-Recovery
A new recovery framework using signal temporal logic (STL)
sychoo/sychoo.github.io
Simon Chu's Personal Website
sychoo/UNDERSEA-CPS-Recovery
sychoo/V-SPELLS-Demo-Code
sychoo/V-SPELLS-Meeting-Demo-DroneKit
sychoo/wyvern-annotated
Annotated Wyvern Programming Language Source Code. Easier to contribute
sychoo/wyvern-playground
Wyvern Playground