VoidXia's Stars
netdata/netdata
Architected for speed. Automated for easy. Monitoring and troubleshooting, transformed!
PKUFlyingPig/cs-self-learning
计算机自学指南
photoprism/photoprism
AI-Powered Photos App for the Decentralized Web 🌈💎✨
logseq/logseq
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap
pnpm/pnpm
Fast, disk space efficient package manager
taichi-dev/taichi
Productive, portable, and performant GPU programming in Python.
cilium/cilium
eBPF-based Networking, Security, and Observability
adambard/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
VirgilClyne/iRingo
解锁完整的 Apple功能和集成服务
gao-sun/eul
🖥️ macOS status monitoring app written in SwiftUI.
PeterL1n/RobustVideoMatting
Robust Video Matting in PyTorch, TensorFlow, TensorFlow.js, ONNX, CoreML!
dessant/buster
Captcha solver extension for humans, available for Chrome, Edge and Firefox
matplotlib/cheatsheets
Official Matplotlib cheat sheets
kulshekhar/ts-jest
A Jest transformer with source map support that lets you use Jest to test projects written in TypeScript.
liuxinyu95/AlgoXY
Book of Elementary Functional Algorithms and Data structures
sivan/heti
赫蹏(hètí)是专为中文内容展示设计的排版样式增强。它基于通行的中文排版规范而来,可以为网站的读者带来更好的文章阅读体验。
Finb/Bark
Bark is an iOS App which allows you to push custom notifications to your iPhone
matter-labs/awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
ayuer/shanghai_house_knowledge
2020年11月在上海买房经历总结出来的买房购房做的一些功课分享给大家,技术人帮助技术人,希望对大家有所帮助。
coq/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.
AllenDowney/ThinkDSP
Think DSP: Digital Signal Processing in Python, by Allen B. Downey.
XJP-GIT/AntiZhaPian
假的国家反诈中心
ssnhd/rime
Rime Squirrel 鼠须管配置文件(朙月拼音、小鹤双拼、自然码双拼)
SCons/scons
SCons - a software construction tool
skyzh/type-exercise-in-rust
Learn Rust dark magics by implementing an expression framework in database systems
bayesoptbook/bayesoptbook.github.io
Companion webpage for the book "Bayesian Optimization" by Roman Garnett
lobbyboy-ssh/lobbyboy
A lobby boy will create a VPS server when you need one, and destroy it after using it.
George-Miao/clashctl
CLI for interacting with clash
Kami-code/SE124-CSE-2021-Notes
上海交通大学软件学院课程计算机系统工程(SE124)笔记
Victrid/CS467-Theory-of-Computing-Notes
Lecture notes on Introduction to Theory of Computing.