Highlights
- Pro
-
-
resume Public
Forked from tigercosmos/resumeAutomate building my resume with Latex scripts.
TeX UpdatedAug 7, 2024 -
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedJul 15, 2024 -
naive-terminal-watchdog Public
A simple terminal output analyzer for interactive environments with in-place update.
Shell UpdatedMay 14, 2024 -
-
simple-remote-profiler Public
A simple profiler with little system dependency using remote gdb.
Shell GNU General Public License v3.0 UpdatedApr 14, 2024 -
redplane-public Public
Forked from daehyeok-kim/redplane-publicLocal deployment on Redplane, hopefully with more guiding tutorials.
P4 Apache License 2.0 UpdatedOct 31, 2023 -
-
beast Public
Forked from boostorg/beastHTTP and WebSocket built on Boost.Asio in C++11
C++ Boost Software License 1.0 UpdatedMay 18, 2023 -
taking-advantage-of-dices Public
Evaluation on behaviors with the maximum value of rolling multiple dices.
C UpdatedMar 30, 2023 -
self-winder Public
A simple script to automatically maintain a reverse ssh tunnel, re-establishing the ssh connection if failed.
Shell UpdatedApr 15, 2022 -
uAGRv Public
Verifying the abstract behavior of unreliable aggregation.
Promela UpdatedDec 16, 2021 -
lrng-entropy-estimator Public
Verifying the behavior of LRNG entropy estimation.
Go UpdatedDec 16, 2021 -
-
catchment-basin-seeker Public
Find monitor and aggregator placement in a pod topology
Python UpdatedOct 27, 2021 -
-
-
Best-README-Template Public template
Forked from othneildrew/Best-README-TemplateAn awesome README template to jumpstart your projects!
MIT License UpdatedJun 1, 2021 -
resource-dealer Public
A simple dealer to help students to share their public resource.
GNU General Public License v3.0 UpdatedMay 31, 2021 -
tutorials Public
Forked from p4lang/tutorialsP4 language tutorials
P4 Apache License 2.0 UpdatedDec 30, 2020 -
-
synapse Public
Forked from matrix-org/synapseSynapse: Matrix reference homeserver
Python Apache License 2.0 UpdatedOct 22, 2020 -
behavioral-model Public
Forked from p4lang/behavioral-modelThe reference P4 software switch
C++ Apache License 2.0 UpdatedJul 26, 2020 -
thuthesis Public
Forked from tuna/thuthesisLaTeX Thesis Template for Tsinghua University
TeX UpdatedMay 21, 2020 -
-
-
-
-
-