tyxk8160

tyxk8160's Stars

• chinese-poetry/chinese-poetry

  The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。

  Language:JavaScript48k1.2k2039.6k

• dragonflydb/dragonfly

  A modern replacement for Redis and Memcached

  Language:C++25.5k1641.2k920

• terrastruct/d2

  D2 is a modern diagram scripting language that turns text to diagrams.

  Language:Go16.6k621.1k417

• kailashahirwar/cheatsheets-ai

  Essential Cheat Sheets for deep learning and machine learning researchers https://medium.com/@kailashahirwar/essential-cheat-sheets-for-machine-learning-and-deep-learning-researchers-efb6a8ebd2e5

  15.1k1k183.4k

• yanfeizhang/coder-kung-fu

  开发内功修炼

  Language:C6.2k18161k

• rstudio/cheatsheets

  Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.

  Language:TeX5.8k23301.8k

• rev1si0n/lamda

  ⚡️ Android reverse engineering & automation framework | 史上最强安卓抓包/逆向/HOOK & 云手机/远程桌面/自动化取证框架，你的工作从未如此简单快捷。

  Language:Python5.8k6186816

• dtolnay/proc-macro-workshop

  Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019]

  Language:Rust4.1k39371k

• matrixcascade/PainterEngine

  PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C

  Language:C2.4k5657272

• matthewsamuel95/ACM-ICPC-Algorithms

  Algorithms used in Competitive Programming

  Language:C++2.1k53811.3k

• cmu-sei/pharos

  Automated static analysis tools for binary programs

  Language:C++1.5k77222190

• DavadDi/bpf_study

  bpf 学习仓库

  Language:C1.4k372331

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++93330184140

• eurecom-s3/symcc

  SymCC: efficient compiler-based symbolic execution

  Language:C++7812494137

• dyninst/dyninst

  DyninstAPI: Tools for binary instrumentation, analysis, and modification.

  Language:C72640728153

• linuxkerneltravel/lmp

  LMP provides an eBPF Supermarket for developers, including eBPF tools, open-source projects based on eBPF, eBPF learning materials, Linux kernel learning materials, and more.

  Language:C59324112171

• Markakd/DirtyCred

  Kernel exploitation technique

  Language:LLVM56226137

• falconre/falcon

  Binary Analysis Framework in Rust

  Language:Rust549303945

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C43720203129

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4272445382

• vbpf/ebpf-verifier

  eBPF verifier based on abstract interpretation

  Language:C++3811417739

• mechpen/sockdump

  Dump unix domain socket traffic with bpf

  Language:Python35491948

• lcn2/calc

  C-style arbitrary precision calculator

  Language:C350147752

• SRI-CSL/gllvm

  Whole Program LLVM: wllvm ported to go

  Language:Go300325834

• seahorn/clam

  Static Analyzer for LLVM bitcode based on Abstract Interpretation

  Language:C274137137

• seahorn/crab

  A library for building abstract interpretation-based analyses

  Language:C++231124133

• kunjara/jyotish

  PHP library for calculations in Vedic astrology

  Language:PHP1763827119

• sxwnl/sxwnl

  寿星天文历(万年历)5.10; 更新地址 http://bbs.nongli.net/dispbbs_2_14995.html;

  Language:HTML1173329

• sxwnl/sxwnl-cpp

  基于寿星万年历的天文历算法库

  Language:C++283815

• LuciNyan/thegibook

  《全局光照技术：从离线到实时渲染》

  Language:TeX1000