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,557 1,427 Updated Oct 11, 2025

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

SCSS 3,722 3,798 Updated Oct 15, 2025

RISC-V Assembly Programmer's Manual

Makefile 1,566 250 Updated Oct 17, 2025

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

Rust 124 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,676 143 Updated Sep 7, 2025

🌊 The ultimate Fish prompt.

Shell 3,661 145 Updated Sep 22, 2025

Concurrency permutation testing tool for Rust.

Rust 2,487 125 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 52 6 Updated May 24, 2025

Vim-fork focused on extensibility and usability

Vim Script 93,560 6,363 Updated Oct 18, 2025

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

Rust 159 21 Updated Aug 31, 2022

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

LLVM 34,948 14,884 Updated Oct 18, 2025
Python 12 2 Updated Nov 14, 2023

Master programming by recreating your favorite technologies from scratch.

Markdown 427,305 40,102 Updated Oct 10, 2025

Static Value-Flow Analysis Framework for Source Code

C++ 1,609 467 Updated Oct 3, 2025

Fuzzing Unification Framework

C++ 377 24 Updated Jan 29, 2025

[ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling

C++ 32 4 Updated Oct 9, 2022

Style guides for Google-originated open-source projects

HTML 38,611 12,996 Updated Sep 3, 2025

SymQEMU: Compilation-based symbolic execution for binaries

C 358 47 Updated May 5, 2025

Chrome PROXY extension, set proxy for Chrome browser

JavaScript 334 146 Updated Nov 20, 2024

Keynote template designed for research/technical presentations

48 3 Updated May 8, 2020

Concurrency Paper

110 13 Updated Jun 1, 2023

A modern LaTeX Beamer theme

TeX 6,689 856 Updated Nov 23, 2022

A true minimalistic LaTeX beamer template

TeX 156 13 Updated Jul 2, 2024

GoogleTest - Google Testing and Mocking Framework

C++ 37,325 10,565 Updated Oct 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,516 1,438 Updated Sep 29, 2025

A True Instrumentable Binary Emulation Framework

Python 5,653 755 Updated Sep 5, 2025

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

C++ 3,716 448 Updated Oct 24, 2024

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

TeX 26 2 Updated Oct 10, 2018
Next