zzjas

zzjas's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.5k1022.8k981

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust25k86819402

• frida/frida

  Clone this repo to build Frida

  Language:Meson16.6k3302.8k1.7k

• bootandy/dust

  A more intuitive version of du in rust

  Language:Rust9.2k35201193

• bellard/quickjs

  Public repository of the QuickJS Javascript Engine.

  Language:C8.7k152282916

• pwndbg/pwndbg

  Exploit Development and Reverse Engineering with GDB Made Easy

  Language:Python7.8k136973912

• unicorn-engine/unicorn

  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

  Language:C7.8k2151.1k1.4k

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.7k1862k1.1k

• jart/blink

  tiniest x86-64-linux emulator

  Language:C7k6575229

• xairy/linux-kernel-exploitation

  A collection of links related to Linux kernel security and exploitation

  5.7k4154978

• qilingframework/qiling

  A True Instrumentable Binary Emulation Framework

  Language:Python5.2k136545747

• tikv/raft-rs

  Raft distributed consensus algorithm implemented in Rust.

  Language:Rust3k54161402

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.8k265

• ryan4yin/nixos-and-flakes-book

  :hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

  Language:Nix2.2k1941108

• googleprojectzero/fuzzilli

  A JavaScript Engine Fuzzer

  Language:Swift1.9k70217310

• logcabin/logcabin

  LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.

  Language:C++1.9k97214300

• gem5/gem5

  The official repository for the gem5 computer-system architecture simulator.

  Language:C++1.8k723621.3k

• evalplus/evalplus

  Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

  Language:Python1.3k9192114

• ongardie/dissertation

  Sources for my PhD dissertation on the Raft consensus algorithm

  Language:TeX1k531127

• CakeML/cakeml

  CakeML: A Verified Implementation of ML

  Language:Standard ML9854450186

• utdemir/nix-tree

  Interactively browse dependency graphs of Nix derivations.

  Language:Haskell78774715

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C44220205130

• kjhealy/latex-custom-kjh

  Some simple configuration files I use for use with LaTeX, the Memoir class and the Listings package.

  Language:TeX201173106

• cmu-pasta/linux-kernel-enriched-corpus

  Linux Kernel Fuzzer Corpus

  Language:Python1334315

• ise-uiuc/Repilot

  Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"

  Language:Python1274011

• microsoft/codamosa

  Language:Python12471025

• shankarapailoor/moonshine

  Language:Go966625

• opendcdiag/opendcdiag

  OpenDCDiag is an open-source project designed to identify defects and bugs in CPUs. It consists of a set of tests built around a sophisticated CPU testing framework.

  Language:C++66102329

• penberg/vsr-rs

  Viewstamped Replication for Rust

  Language:Rust64555

• ise-uiuc/FASER

  Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests (ICSE'23)

  Language:Python9210