Skip to content
View drvink's full-sized avatar

Block or report drvink

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
Rocq Prover 16 4 Updated Feb 11, 2026

Syntax addon written by Abyss to IRC client XiRCON; added here for posterity.

Tcl 3 1 Updated Nov 11, 2012

Docker implemented in around 100 lines of bash

Shell 12,620 755 Updated Dec 9, 2017

The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows

C 5 1 Updated Dec 3, 2018

chap analyzes un-instrumented core files for leaks, memory growth, and corruption

C++ 392 43 Updated Jun 1, 2025

A quick-and-dirty tool of Firefox pref.js survey

JavaScript 9 Updated Sep 25, 2025

Reverse engineering software using a full system simulator

Python 191 38 Updated Feb 13, 2026

Nice parsers in OCaml without the boilerplate

OCaml 127 12 Updated May 6, 2024

An Interactive Binary Patching Plugin for IDA Pro

Python 1,217 142 Updated Nov 24, 2024

tiniest x86-64-linux emulator

C 7,441 259 Updated Dec 10, 2025

A C++11 library for reading Microsoft Program DataBase PDB files

C++ 737 94 Updated Dec 16, 2025

Win 10/11 related research

PowerShell 198 33 Updated Dec 19, 2023

Reparent a running program to a new terminal

C 6,183 226 Updated Nov 20, 2025

SoftICE-like kernel debugger for Windows 11

C 1,027 139 Updated Jul 18, 2023

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Python 8,011 809 Updated Feb 15, 2026

A rewrite of the old legacy software "depends.exe" in C# for Windows devs to troubleshoot dll load dependencies issues.

C# 11,173 902 Updated May 15, 2024

Abstraction Logic formalised in Isabelle/HOL

HTML 4 Updated Jun 27, 2022

Some notes taken while working on Prolog

Prolog 194 26 Updated Jan 29, 2026

A programming language with static memory management based on λ-calculus

Haskell 1,008 16 Updated Jan 28, 2026

Research prototype for Practal's logic.

Swift 9 1 Updated Sep 1, 2021

The history of Windows Internals via symbols.

C 181 32 Updated Nov 4, 2021

The Aldor Programming Language

C 36 10 Updated Jan 25, 2026

Another free Win32 resource editor

C++ 468 57 Updated Jan 1, 2026

An intrusive implementation of a weak AVL tree

C 8 2 Updated Jan 23, 2023

VMware mouse driver for Windows 3.1

Assembly 365 14 Updated Sep 7, 2025

Cvs Remote Access Program

C 50 12 Updated Jan 22, 2023

A small, fast, and embeddable programming language based on Lua with a gradual type system.

C++ 5,276 533 Updated Feb 13, 2026

Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.

C++ 520 32 Updated Jan 20, 2026
Next