sychoo Goto Github PK

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

covid19

A php script that scraps COVID19 statistics from official and media websites, and display the latest result along with the source

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"

cps-synth-resolultion

Synthesis-based resolution of features/enforcers interactions in CPS

cps-weakening-based-resolution

crv

cs-125

The code that was submitted for CS125, Spring 2017.

docs

document_template

dragonfly

Tool for Simulating Self-adaptiveDrone Behaviours

dronecodesdk

API and library for PX4 Autopilot using MAVLink written in C++11

dronesim2d

Modified from Dragonfly open source simulator

e5-mode-grouping

P model that describes the the state machine based model for the ArduPilot mode grouping challenge.

empirical-methods

Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University

feature-interaction

feature-interaction-prototype

find-bug-final-project

gettheoffer

Repository for Jeanie and Simon to practice coding interview and get offers from top tech companies.

gradual-recovery-cps

hexo

Hexo configuration on my local computer

jmavsim

Simple multirotor simulator with MAVLink protocol support

learning-rescript

learning-rust

leetcode

Some Code I have written on LeetCode

lisp-interpreter

An interpreter written in LISP that can interpret a Pascal-like toy language.

ltsa-r

LTSA tool with recovery analysis