Pinned Repositories
Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
awesome-cpp-cn
C++ 资源大全中文版，标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
GammaRay
GammaRay is a tool to poke around in a Qt-application and also to manipulate the application to some extent.
handy
简洁易用的C++11网络库 / 支持单机千万并发连接 / a simple C++11 network server framework
libcgm
A Libaray for handling Computer Graphics Metafile
open-falcon
互联网企业级监控系统
sourcelink
Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets
state-threads
Fork from http://sourceforge.net/projects/state-threads, patched for SRS.
ucc
ucc - a tiny C89 compiler for x86
luocs's Repositories
luocs/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
luocs/awesome-cpp-cn
C++ 资源大全中文版，标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等
luocs/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
luocs/GammaRay
GammaRay is a tool to poke around in a Qt-application and also to manipulate the application to some extent.
luocs/handy
简洁易用的C++11网络库 / 支持单机千万并发连接 / a simple C++11 network server framework
luocs/libcgm
A Libaray for handling Computer Graphics Metafile
luocs/open-falcon
互联网企业级监控系统
luocs/sourcelink
Source Link enables a great source debugging experience for your users, by adding source control metadata to your built assets
luocs/state-threads
Fork from http://sourceforge.net/projects/state-threads, patched for SRS.
luocs/ucc
ucc - a tiny C89 compiler for x86
luocs/luocs.github.io
luocs/unix-v6
UNIX-V6 kernel
luocs/winfile
Original Windows File Manager (winfile) with enhancements
luocs/wrk-v1.2
Windows Research Kernel
luocs/xv6-public
xv6 OS
luocs/z3
The Z3 Theorem Prover