-
-
sourcelink Public
Forked from dotnet/sourcelinkSource Link enables a great source debugging experience for your users, by adding source control metadata to your built assets
C# MIT License UpdatedJan 8, 2023 -
-
wrk-v1.2 Public
Forked from Trietptm-on-Security/wrk-v1.2Windows Research Kernel
C Other UpdatedMay 2, 2018 -
winfile Public
Forked from microsoft/winfileOriginal Windows File Manager (winfile) with enhancements
C MIT License UpdatedApr 10, 2018 -
-
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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedMay 5, 2017 -
-
handy Public
Forked from yedf2/handy简洁易用的C++11网络库 / 支持单机千万并发连接 / a simple C++11 network server framework
C++ BSD 2-Clause "Simplified" License UpdatedMar 29, 2017 -
state-threads Public
Forked from ossrs/state-threadsFork from http://sourceforge.net/projects/state-threads, patched for SRS.
C UpdatedMar 26, 2017 -
awesome-cpp-cn Public
Forked from jobbole/awesome-cpp-cnC++ 资源大全中文版,标准库、Web应用框架、人工智能、数据库、图片处理、机器学习、日志、代码分析等
UpdatedOct 5, 2016 -
-
Apollo-11 Public
Forked from chrislgarry/Apollo-11Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Assembly UpdatedJul 13, 2016 -
GammaRay Public
Forked from KDAB/GammaRayGammaRay is a tool to poke around in a Qt-application and also to manipulate the application to some extent.
C++ Other UpdatedJun 7, 2016 -
-