IMWYY's Stars
dhofmann34/AutoOD_Demo
A self-tuning anomaly detection system to address the challenges of method selection and hyper-parameter tuning without access to a sufficient number of human supplied, ground truth labels.
chenshuo/muduo
Event-driven network library for multi-threaded Linux server in C++11
TarsCloud/Tars
Tars is a high-performance RPC framework based on name service and Tars protocol, also integrated administration platform, and implemented hosting-service via flexible schedule.
libevent/libevent
Event notification library
libuv/libuv
Cross-platform asynchronous I/O
downdemo/Cpp-Templates-2ed
C++11/14/17/20 templates and generic programming, the most complex and difficult technical details of C++, indispensable in building infrastructure libraries.
wuye9036/CppTemplateTutorial
中文的C++ Template的教学指南。与知名书籍C++ Templates不同,该系列教程将C++ Templates作为一门图灵完备的语言来讲授,以求帮助读者对Meta-Programming融会贯通。(正在施工中)
PLW/blink-tree-logic
BLInk Tree logic - storage and locking experiment
malbrain/Btree-source-code
A working project for High-concurrency B-tree source code in C
malbrain/database
Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency
CyC2018/CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计
huihut/interview
📚 C/C++ 技术面试基础知识总结,包括语言、程序库、数据结构、算法、系统、网络、链接装载库等知识及面试经验、招聘、内推等信息。This repository is a summary of the basic knowledge of recruiting job seekers and beginners in the direction of C/C++ technology, including language, program library, data structure, algorithm, system, network, link loading library, interview experience, recruitment, recommendation, etc.
nas-sh/jpf-nhandler
javapathfinder/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
deliveredtechnologies/rulebook
100% Java, Lambda Enabled, Lightweight Rules Engine with a Simple and Intuitive DSL
killme2008/aviatorscript
A high performance scripting language hosted on the JVM.
Z3Prover/z3
The Z3 Theorem Prover
oracle/graal
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
SymbolicPathFinder/jpf-symbc
Symbolic PathFinder
psycopaths/jdart
A dynamic symbolic analysis tool for Java
utsaslab/pebblesdb
The PebblesDB write-optimized key-value store (SOSP 17)
postgres/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
cockroachdb/cockroach
CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.
mit-pdos/biscuit
Biscuit research OS
SJTU-SE/awesome-se
👨💻 ❤️ 💻 上海交通大学软件学院本科编程作业参考
kshitijl/avx2-examples
Short examples illustrating AVX2 intrinsics for simple tasks.
Triple-Z/AVX-AVX2-Example-Code
Example code for Intel AVX / AVX2 intrinsics.
sjtug/SJTUThesis
上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template
wuxb45/wormhole
Wormhole: A concurrent ordered in-memory key-value index with O(log L) search cost (L is search key's length)
artur-shaik/vim-javacomplete2
DEPRECATED in favor of jc.nvim