winddd's Stars
jgraph/drawio-desktop
Official electron build of draw.io
facebookresearch/faiss
A library for efficient similarity search and clustering of dense vectors.
viraptor/reverse-interview
Questions to ask the company during your interview
tikv/tikv
Distributed transactional key-value database, originally created to complement TiDB
Mooophy/Cpp-Primer
C++ Primer 5 answers
sysprog21/lkmpg
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
mit-pdos/xv6-riscv
Xv6 for RISC-V
wisdompeak/LeetCode
This repository contains the solutions and explanations to the algorithm problems on LeetCode. Only medium or above are included. All are written in C++/Python and implemented by myself. The problems attempted multiple times are labelled with hyperlinks.
google-research/arxiv-latex-cleaner
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv
cockroachdb/pebble
RocksDB/LevelDB inspired key-value database in Go
ispc/ispc
Intel® Implicit SPMD Program Compiler
bazelbuild/bazelisk
A user-friendly launcher for Bazel.
Gruntfuggly/todo-tree
Use ripgrep to find TODO tags and display the results in a tree view
jni-rs/jni-rs
Rust bindings to the Java Native Interface — JNI
skywind3000/emake
你见过的最简单的 GCC/CLANG 项目构建工具,定义式构建,比命令式更简单
google/fuzztest
quicktheories/QuickTheories
Property based testing for Java 8
codefollower/H2-Research
H2数据库源代码学习研究(包括代码注释、文档、用于代码分析的测试用例)
2Dou/watermarker
使用python脚本为图片添加文字水印
IBM/etcd-java
Alternative etcd3 java client
HypothesisWorks/hypothesis-java
Advanced property-based (QuickCheck-like) testing for Java. Feasibility prototype.
bpsm/edn-java
a reader for extensible data notation
jbuberel/buildmodeshared
How to use Go to build shared libraries
1123/johnson
AgilData/tpcc
Java implementation of TPC-C benchmark
tudo-aqua/z3-turnkey
TurnKey artifact for Z3
goncalotomas/FMKe
🛠️ Realistic benchmark for key value stores
DBCobra/CobraBench
bsdinis/frodo