Discover @ya0guang Open Source projects

Hongbo (@ya0guang)

ya0guang

Stars
32
Global Rank 468,722 (Top 17 %)
Followers 71
Following 106
Registered over 9 years ago
Most used languages

C
33.3 %

Python
22.2 %

Racket
11.1 %

HTML
11.1 %

Shell
11.1 %

Jupyter Notebook
11.1 %

PoBF

Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.

Jupyter Notebook

ProgrammingLanguageCourse

for IU B521, personal use only

ya0guang.github.io

https://ya0guang.com

InitScripts

Initialization scripts for my environment

xinu-S20

RaspiCar

A automated car based on Raspberry Pi

memory-errors

Collection of snippets of different type of memory errors.

FormalAnalysisStudy

Notes of Formal Verifacation

ToyPythonCompiler

For IU Compiler course