stonejiajia

stonejiajia's Stars

• toeverything/AFFiNE

  There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.

  Language:TypeScript35.4k1942k2.3k

• Lissy93/personal-security-checklist

  🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

  Language:TypeScript16.2k210791.1k

• joevess/IPTV

  IPTV直播源抓取 自动整合hao趣网直播源+TVBox直播源+其他网上直播源 择取分辨率、速度最佳视频流 定期更新

  7.8k9536539

• janestreet/magic-trace

  magic-trace collects and displays high-resolution traces of what a process is doing

  Language:OCaml4.5k339287

• hellogcc/100-gdb-tips

  A collection of gdb tips. 100 maybe just mean many here.

  Language:Go3k1757706

• microsoft/ebpf-for-windows

  eBPF implementation that runs on top of Windows

  Language:C2.6k601.4k206

• willcrichton/flowistry

  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

  Language:Rust1.8k157241

• artempyanykh/marksman

  Write Markdown with code assist and intelligence in the comfort of your favourite editor.

  Language:F#1.8k1217434

• ZhangZhuoSJTU/Web3Bugs

  Demystifying Exploitable Bugs in Smart Contracts

  Language:Solidity1.5k3120194

• minad/vertico

  :dizzy: vertico.el - VERTical Interactive COmpletion

  Language:Emacs Lisp1.4k2039559

• manateelazycat/lsp-bridge

  A blazingly fast LSP client for Emacs

  Language:Emacs Lisp1.4k18457197

• skyzh/type-exercise-in-rust

  Learn Rust black magics by implementing an expression framework in database systems

  Language:Rust1.3k22363

• stong/infosec-resources

  A list of helpful cybersecurity / infosec resources

  1.2k283100

• minad/consult

  :mag: consult.el - Consulting completing-read

  Language:Emacs Lisp1.2k20783100

• bsauce/kernel-exploit-factory

  Linux kernel CVE exploit analysis report and relative debug environment. You don't need to compile Linux kernel and configure your environment anymore.

  Language:C1.1k5312181

• sajjadium/ctf-archives

  CTF Archives: Collection of CTF Challenges.

  Language:Python727201119

• mit-plv/fiat-crypto

  Cryptographic Primitive Code Generation by Fiat

  Language:Coq70154404144

• betterRunner/context-note

  A note-taking chrome extension: taking notes on the web with their context.

  Language:Vue697121761

• sdiehl/bulletproofs

  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

  Language:Haskell53130344

• nobiot/org-remark

  Highlight & annotate text, EWW, Info, and EPUB

  Language:Emacs Lisp415116320

• tomer8007/chromium-ipc-sniffer

  A tool to capture communication between Chromium processes on Windows

  Language:Lua35415955

• xqx12/daily-info

  29946147

• project-everest/everparse

  Automated generation of provably secure, zero-copy parsers from format specifications

  Language:F*241294212

• nullity00/zk-security-reviews

  Collection of security reviews of ZK Protocols

  2005115

• Quillhash/Zero-Knowledge-Mastery

  This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

  1865032

• out-of-cheese-error/gooseberry

  A command line utility to generate a knowledge base from Hypothesis annotations

  Language:Rust1494638

• NorfairKing/autodocodec

  self(auto)- documenting encoders and decoders

  Language:Haskell11461916

• ethereum/kzg-ceremony-specs

  Specs for Ethereum's KZG Powers of Tau Ceremony

  10814933

• Armael/papiers

  A tool to index your papers/interesting links/... and quickly search through them

  Language:OCaml49865

• BoltonBailey/formal-snarks-project

  A formal verification of Linear PCP SNARKs.

  Language:Lean44611