Skip to content
View rvantonder's full-sized avatar

Organizations

@pwning @BinaryAnalysisPlatform @comby-tools

Block or report rvantonder

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

A library for building dynamic terminal apps, using bonsai

OCaml 125 1 Updated Nov 27, 2025

Open-source solution for electronic labels on wine bottles.

JavaScript 34 9 Updated Jun 16, 2025

Obsessive cheat sheet to favicon sizes/types. Please contribute! (Note: this may be in flux as I learn new things about favicon best practices.)

9,887 400 Updated Mar 18, 2022

NOF0 - 开源的 AI 交易竞技场

Go 2,774 439 Updated Dec 7, 2025

Ethereum smart contract fuzzer

Haskell 3,055 418 Updated Dec 20, 2025

Interface with the rustc compiler for the purpose of program verification

Rust 253 26 Updated Dec 17, 2025

A verification toolchain for Rust programs

OCaml 481 38 Updated Dec 20, 2025

Sniff: Misalignment detection in Vibe Coding loops

Rust 15 2 Updated Jul 30, 2025

The official repo for “Dolphin: Document Image Parsing via Heterogeneous Anchor Prompting”, ACL, 2025.

Python 8,054 675 Updated Dec 17, 2025

Faster, simpler and more portable implementation of `jq` in OCaml

OCaml 621 8 Updated Dec 20, 2025

Proxy server that converts Anthropic API requests to OpenAI format and sends it to OpenRouter. It's used to use Claude Code with OpenRouter instead of the Anthropic API

JavaScript 386 34 Updated Apr 28, 2025

LEAKED SYSTEM PROMPTS FOR CHATGPT, GEMINI, GROK, CLAUDE, PERPLEXITY, CURSOR, DEVIN, REPLIT, AND MORE! - AI SYSTEMS TRANSPARENCY FOR ALL! 👐

12,292 2,430 Updated Nov 24, 2025

Quickly make and deploy full-stack apps with database, auth, styling, storage etc. figured out for you. Add all primitives you want.

TypeScript 3,677 338 Updated Feb 15, 2025

React component for displaying activity data in a calendar (heatmap)

TypeScript 528 40 Updated Dec 19, 2025

A tacit array programming language

Rust 2,021 159 Updated Dec 20, 2025

Lowpoly image generator

TypeScript 211 23 Updated Aug 30, 2024

Making parsing a breeze

Rust 824 79 Updated Dec 11, 2025

Script to get your site indexed on Google in less than 48 hours

TypeScript 7,508 540 Updated Oct 10, 2024

A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.

HTML 2,011 403 Updated Apr 22, 2024

Travel marker created following「中国制霸生成器」by 卜卜口 (@itorr)

JavaScript 283 63 Updated May 30, 2023

Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows.

TypeScript 21,510 1,395 Updated Dec 19, 2025

an ocaml package to generate ULIDs

OCaml 18 2 Updated Jan 2, 2019

SQLite extension around tg, a geometric library for limited GIS operations

C 47 2 Updated May 3, 2025

Explore, document and optimize any database

Elm 2,029 122 Updated Jul 7, 2025

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Rust 1,046 169 Updated Dec 10, 2025

A production-ready framework for building Elm applications.

Elm 399 57 Updated Mar 10, 2025

A terminal spreadsheet multitool for discovering and arranging data

Python 8,681 321 Updated Dec 19, 2025

🦘 - PouchDB is a pocket-sized database.

JavaScript 17,496 1,502 Updated Dec 17, 2025

Simple grammar-based test case generator

Rust 36 9 Updated Dec 20, 2025

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.

Rust 80 11 Updated Dec 18, 2025
Next