zzjas's Stars
denoland/deno
A modern runtime for JavaScript and TypeScript.
Anduin2017/HowToCook
程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
koekeishiya/yabai
A tiling window manager for macOS based on binary space partitioning
tinygo-org/tinygo
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
tmuxinator/tmuxinator
Manage complex tmux sessions easily
zotero/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
facebook/hermes
A JavaScript engine optimized for running React Native.
zeromq/libzmq
ZeroMQ core engine in C++, implements ZMTP/3.1
jerryscript-project/jerryscript
Ultra-lightweight JavaScript engine for the Internet of Things.
model-checking/kani
Kani Rust Verifier
liquidctl/liquidctl
Cross-platform CLI and Python drivers for AIO liquid coolers and other devices
AFLplusplus/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
proptest-rs/proptest
Hypothesis-like property testing for Rust
addy-dclxvi/i3-starterpack
A simple guide (and example of configuration) about how to install i3 & its and essentials packages, then make them look eye candy, also contains my dotfiles of Debian 12 (Bookworm) setup
cmacrae/spacebar
A minimal status bar for macOS. Ideal for use with tiling window managers like yabai
ulfjack/ryu
Converts floating point numbers to decimal strings
mozilla/grcov
Rust tool to collect and aggregate code coverage data for multiple source files
PLSysSec/haybale
Symbolic execution of LLVM IR with an engine written in Rust
r-c-f/waynergy
A synergy client for Wayland compositors
deislabs/spiderlightning
A set of WIT definitions and associated implementations to enable app developers to work at a faster pace and require less knowledge of the environment in which they are executing.
bytecodealliance/wasi-rs
Experimental WASI API bindings for Rust
mozilla-spidermonkey/spidermonkey-embedding-examples
Documentation and examples for embedding the SpiderMonkey JavaScript / WebAssembly engine in their applications.
sslab-gatech/hydra
Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems
ise-uiuc/nnsmith
Automatic DNN generation for fuzzing and more
SUPERCILEX/ftzz
File Tree Fuzzer creates a pseudo-random directory hierarchy filled with some number of files.
ise-uiuc/DeepREL
Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
stacktrack/stacktrack.github.io
Linux call graph visualization
UniverseFly/PDF-Rename-Safari
Safari extension for downloading while renaming a pdf file
UniverseFly/pdfmove
Automatically move and rename pdf files from a watched directory