Stars
CodeQL extractor and queries for Solidity smart contract security analysis
A Spotify player in the terminal with full feature parity
AI agents running research on single-GPU nanochat training automatically
A very fast, portable and hackable fuzzy finder.
Project page for "The Fuzzing Book"
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
A TUI application for managing systemd services.
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Solidity, the Smart Contract Programming Language
📡 Blazing fast minimap / scrollbar for vim, powered by code-minimap written in Rust.
just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
Constraint solver based on coverage-guided fuzzing
💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
NeoVim lua plugin that annotates source code with profiling information from perf, LuaJIT, or other profilers.
View colored, incremental diff in workspace or from stdin, side by side and auto paged.
Prove functional correctness of Ethereum smart contracts in higher-order logic
automatically quote arguments to commands like `git commit -m`
Tiny Waybar module to check Arch Linux updates from official repositories and AUR.
Improved Yank and Put functionalities for Neovim
Specification for the Execution Layer. Tracking network upgrades.
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Utility functions for getting diagnostic status and progress messages from LSP servers, for use in the Neovim statusline
Repro of issues with pranking when comparing echidna and foundry
Ethereum Virtual Machine (EVM) disassembler and assembler