Misasasa's repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:PythonApache-2.0000
cbmc
C Bounded Model Checker
Language:SWIGNOASSERTION000
ffxiv-craft-opt-web
Web frontend for FFXIV Crafting Optimizer service.
Language:JavaScriptZlib000
Language:C000
os_course_exercises
Exercises for OS course
Language:Shell000
REKCARC-TSC-UHT
清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
Language:C++000
Language:C++000
Language:C++000
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:PythonMIT000
ucore_os_lab
os kernel labs for operating systems course in Tsinghua University.
Language:CGPL-2.0000
yosys
Yosys Open SYnthesis Suite
Language:C++ISC000