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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Rust 7,664 11,708 Updated Apr 19, 2026

A fast, powerful type checker designed for Ruby

C++ 3,761 583 Updated Apr 19, 2026

A maintained ctags implementation

C 7,145 654 Updated Apr 19, 2026

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

TypeScript 22,589 1,501 Updated Apr 19, 2026

eBPF verifier based on abstract interpretation

C++ 460 52 Updated Apr 18, 2026

An interactive (fast) static source code analyzer

C 190 33 Updated Apr 18, 2026

Tools for editing Shapefile, GeoJSON, TopoJSON and CSV files

JavaScript 4,092 560 Updated Apr 18, 2026

a structural diff that understands syntax 🟥🟩

Rust 25,053 464 Updated Apr 18, 2026

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

ReScript 7,372 482 Updated Apr 18, 2026

A composable build system for OCaml.

OCaml 1,862 470 Updated Apr 18, 2026

PHP Static Analysis Tool - discover bugs in your code without running it!

PHP 13,908 949 Updated Apr 18, 2026

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Java 4,036 337 Updated Apr 18, 2026

Automated mass refactoring of source code.

Java 3,408 518 Updated Apr 18, 2026

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

Elixir 5,161 440 Updated Apr 18, 2026

OSS-Fuzz - continuous fuzzing for open source software.

Shell 12,149 2,711 Updated Apr 18, 2026

x86 PC emulator and x86-to-wasm JIT, running in the browser

JavaScript 22,532 1,755 Updated Apr 18, 2026

Automated testing to find logic and performance bugs in database systems

Java 1,723 398 Updated Apr 18, 2026

A tacit array programming language

Rust 2,100 173 Updated Apr 18, 2026

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Rust 16,686 2,559 Updated Apr 18, 2026

A community Bash framework.

Shell 15,026 2,308 Updated Apr 18, 2026

developers.events is a community-driven platform listing developer/tech conferences and Calls for Papers (CFPs) worldwide with a list, a calendar and a map view. It helps organizers, speakers, spon…

JavaScript 1,958 501 Updated Apr 18, 2026

an open source geocoder for openstreetmap data

Java 2,722 351 Updated Apr 18, 2026

match command-line arguments to their help text

Python 14,018 836 Updated Apr 18, 2026

high-performance graph database for real-time use cases

Go 21,667 1,587 Updated Apr 18, 2026

CTF framework and exploit development library

Python 13,373 1,830 Updated Apr 18, 2026

QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)

C++ 13,629 3,404 Updated Apr 18, 2026

System for collecting, deriving and working with facts about source code.

Hack 1,326 85 Updated Apr 18, 2026

Dynamic Instrumentation Tool Platform

C 3,058 606 Updated Apr 18, 2026

Command-line JSON processor

C 34,484 1,768 Updated Apr 18, 2026

A terminal spreadsheet multitool for discovering and arranging data

Python 9,030 344 Updated Apr 18, 2026
Next