shengjiex98
Don’t trust the right thing done for the wrong reason. The why of the thing, that’s the foundation.
UNC Chapel HillChapel Hill, NC
Pinned Repositories
ControlTimingSafety.jl
Tools for verifying safety of control systems that may experience timing uncertainty
control-guided-nas
ControlBenchmarks.jl
Control model benchmarks for Julia
cps-nn
goheels
An animated ascii art dedicated to the UNC spirit. Go Heels!
microbit-docs
Setup instructions for programming micro:bit v2 development board.
pwcet-safety
skynet-plotting
The graphing tool for various astronomy curricula at UNC Chapel Hill and beyond.
shengjiex98's Repositories
shengjiex98/control-guided-nas
shengjiex98/cps-nn
shengjiex98/microbit-docs
Setup instructions for programming micro:bit v2 development board.
shengjiex98/pwcet-safety
shengjiex98/autonomous-uncertainty-carla
Testing uncertainty in autonomous systems using the Carla simulator.
shengjiex98/ControlBenchmarks.jl
Control model benchmarks for Julia
shengjiex98/goheels
An animated ascii art dedicated to the UNC spirit. Go Heels!
shengjiex98/ControlRL.jl
Starter code for applying reinforcement learning methods to control problems.
shengjiex98/ControlTimingSafety.jl
Tools for verifying safety of control systems that may experience timing uncertainty
shengjiex98/CSEye
Public repository for WiFiEye
shengjiex98/dac24
shengjiex98/f1tenth_gym
This is the repository of the F1TENTH Gym environment.
shengjiex98/gomoku-go
A command-line Gomoku game
shengjiex98/latex-templates
Repo of latex templates for various venues.
shengjiex98/libproxy-extension
A chrome extension to automatically build UNC library proxy links.
shengjiex98/microbit-lab
Lab exercises for microbit
shengjiex98/naspi
A repo for my cute but mighty pi home server.
shengjiex98/next-bus-display
A display project for bus arrival times
shengjiex98/NoisyReach.jl
Simple reachability analysis with noisy perception.
shengjiex98/portal
Simple home information display using the Adafruit MatrixPortal board.
shengjiex98/pyControlBenchmarks
Control model benchmarks for Python
shengjiex98/pycpa
Compositional Performance Analysis in Python
shengjiex98/RealTimeScheduling.jl
Real-time systems modeling and schedulability analysis
shengjiex98/seds-rover
All of the files for the rover being built by UNC-SEDS
shengjiex98/tools
Web-based tools for prototyping and experiments
shengjiex98/treasury
A parser that generates `.csv` files from text documents. I use this program with Excel PivotTables to track my monthly expenses.
shengjiex98/Uncertain-Linear-System
Reachable Set Computation of Linear Uncertain Systems
shengjiex98/write-everyday
A repo for some daily writing practice.
shengjiex98/www.julialang.org
Julia Project website