Skip to content
View vhertz's full-sized avatar
Powered by Caffeine
Powered by Caffeine

Block or report vhertz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Manage your app's Ruby environment

Shell 16,611 1,425 Updated Nov 25, 2025

Minima is a one-size-fits-all Jekyll theme for writers.

SCSS 3,760 3,797 Updated Oct 15, 2025

RISC-V Assembly Programmer's Manual

Makefile 1,590 251 Updated Dec 19, 2025

WinDbg extension written in Rust to dump the CPU / memory state of a running VM

Rust 125 8 Updated Oct 16, 2025

wtf is a distributed, code-coverage guided, customizable, cross-platform snapshot-based fuzzer designed for attacking user and / or kernel-mode targets running on Microsoft Windows and Linux user-m…

C++ 1,702 145 Updated Oct 23, 2025

🌊 The ultimate Fish prompt.

Shell 3,802 146 Updated Dec 15, 2025

Concurrency permutation testing tool for Rust.

Rust 2,554 126 Updated Aug 12, 2025

DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

Python 55 6 Updated May 24, 2025

Vim-fork focused on extensibility and usability

Vim Script 95,198 6,483 Updated Dec 25, 2025

Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation

Rust 160 21 Updated Aug 31, 2022

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 36,106 15,587 Updated Dec 25, 2025
Python 12 2 Updated Nov 14, 2023

Master programming by recreating your favorite technologies from scratch.

Markdown 451,964 42,400 Updated Oct 10, 2025

Static Value-Flow Analysis Framework for Source Code

C++ 1,638 476 Updated Dec 23, 2025

Fuzzing Unification Framework

C++ 377 24 Updated Jan 29, 2025

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

C++ 36 5 Updated Oct 9, 2022

Style guides for Google-originated open-source projects

HTML 38,783 12,998 Updated Nov 13, 2025

SymQEMU: Compilation-based symbolic execution for binaries

C 366 48 Updated May 5, 2025

Chrome PROXY extension, set proxy for Chrome browser

JavaScript 335 150 Updated Dec 24, 2025

Keynote template designed for research/technical presentations

48 3 Updated May 8, 2020

Concurrency Paper

114 13 Updated Jun 1, 2023

A modern LaTeX Beamer theme

TeX 6,748 857 Updated Nov 23, 2022

A true minimalistic LaTeX beamer template

TeX 155 13 Updated Jul 2, 2024

GoogleTest - Google Testing and Mocking Framework

C++ 37,654 10,626 Updated Dec 16, 2025

TOPPERS/ASP3 Kernel written in Zig Programming Language

HTML 15 4 Updated Jul 24, 2024

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

C 8,669 1,461 Updated Sep 29, 2025

A True Instrumentable Binary Emulation Framework

Python 5,743 769 Updated Nov 5, 2025

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

C++ 3,737 447 Updated Oct 24, 2024

TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX

TeX 26 2 Updated Oct 10, 2018
Next