xudon9

xudon9's Stars

• zellij-org/zellij

  A terminal workspace with batteries included

  Language:Rust19.4k1011.8k610

• avgupta456/github-trends

  🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!

  Language:Python10.3k713176

• capstone-engine/capstone

  Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

  Language:C7.2k2981.2k1.5k

• slowmist/Blockchain-dark-forest-selfguard-handbook

  Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.

  5.2k8217633

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k27723335

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1301961.2k

• sezanzeb/input-remapper

  🎮 ⌨ An easy to use tool to change the behaviour of your input devices.

  Language:Python3.5k33592150

• ayamir/nvimdots

  A well configured and structured Neovim.

  Language:Lua2.8k29593450

• rizinorg/rizin

  UNIX-like reverse engineering framework and command-line toolset.

  Language:C2.5k451.1k341

• arximboldi/immer

  Postmodern immutable and persistent data structures for C++ — value semantics at scale

  Language:C++2.4k63132179

• ibeatai/apm

  What will happen when agent has mind? APM ( Agent plus Mind ) will give you the final answer.

  1.8k460100

• airbus-seclab/bincat

  Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

  Language:OCaml1.6k77119163

• cmu-sei/pharos

  Automated static analysis tools for binary programs

  Language:C++1.5k77221185

• Warrenren/inside-rust-std-library

  本书已经正式出版，目前正预售，可在京东搜索《深入RUST标准库》即可。本书主要对RUST的标准库代码进行分析，并试图给出RUST标准库代码的分析脉络。This project try to give a venation of how reading the RUST standard library source code.

  1.4k3210191

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++91830181140

• tumashu/pyim

  一个 emacs 中文输入法，支持全拼，双拼，五笔，仓颉和Rime，pyim 是 GNU elpa 包。

  Language:Emacs Lisp8812738490

• runtimeverification/verified-smart-contracts

  Smart contracts which are formally verified

  Language:Solidity7115018129

• SysCV/transfiner

  Mask Transfiner for High-Quality Instance Segmentation, CVPR 2022

  Language:Python523115559

• lkeab/BCNet

  Deep Occlusion-Aware Instance Segmentation with Overlapping BiLayers [CVPR 2021]

  Language:Python522914273

• hzysvilla/Academic_Smart_Contract_Papers

  Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

  39720349

• SysCV/pcan

  Prototypical Cross-Attention Networks for Multiple Object Tracking and Segmentation, NeurIPS 2021 Spotlight

  Language:Python36393450

• bastibe/org-static-blog

  A static site generator using org-mode

  Language:Emacs Lisp325205468

• GaloisInc/reopt

  A tool for analyzing x86-64 binaries.

  Language:LLVM297254526

• LogicalAtomist/principia

  The Principia Rewrite

  Language:TeX2001405

• QilinPTA/Qilin

  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

  Language:Java1158528

• hemashushu/practice-wasm

  A WebAssembly VM with a full-featured Web UI debugger implemented in Rust.

  Language:WebAssembly103406

• choukh/Set-Theory

  A formalization of the textbook Elements of Set Theory

  Language:Coq59215

• trcrsired/Portable-Cpp-Guideline

  59225

• dvanhorn/oaam

  Optimizing Abstract Abstract Machines

  Language:Racket30641

• Z-Shang/fpy

  Python module for composing computations

  Language:Python26310