Skip to content
View gendx's full-sized avatar

Sponsoring

@dns2utf8
@sagemath
@thestinger
@obi1kenobi
@servo
@sharkdp
@fasterthanlime
@davidlattimore

Organizations

@gravity-postquantum @caradoc-org

Block or report gendx

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

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

C 268 14 Updated Dec 15, 2025

Rust Project Goals tracker

Rust 106 79 Updated Dec 12, 2025

Extending Python with Rust: a hands-on introduction to PyO3

Jupyter Notebook 5 Updated Oct 14, 2025

Linter for Responsive Images - https://ausi.github.io/respimagelint/

JavaScript 834 28 Updated Nov 27, 2024

HarfBuzz port to Rust

Rust 191 13 Updated Dec 20, 2025

Test and benchmark suite for sort implementations.

Rust 511 26 Updated Sep 13, 2025

The Gameboy emulator that runs everywhere (Terminal, Web, Desktop)

Rust 845 19 Updated Aug 4, 2025

Simple Rust profiler with memory and async data-flow insights - quickly find and debug performance bottlenecks.

Rust 1,239 22 Updated Dec 20, 2025

GTFOBins is a curated list of Unix binaries that can be used to bypass local security restrictions in misconfigured systems

HTML 12,419 1,465 Updated Sep 17, 2025

Post-Quantum Algorithms for HPKE

Rust 11 8 Updated Dec 18, 2025

Deadlock free mutexes

HTML 177 2 Updated Mar 30, 2025

Performance Optimizer Observation Platform

Zig 1,796 82 Updated Oct 29, 2025

Interactive visualizations of Rust at compile-time and run-time

Rust 2,934 69 Updated Jul 8, 2025

I-D for a general purpose KEM (key encapsulation mechanism) that includes a hash at the end

Python 9 8 Updated Nov 20, 2025

Disassembly of Pokémon Red/Blue

Assembly 4,494 1,151 Updated Dec 15, 2025

High quality, fast and easy to build cryptography for Rust

Rust 194 6 Updated Dec 14, 2025

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 34,700 3,414 Updated Dec 21, 2025

The official repository of Mozilla's Firefox web browser.

JavaScript 10,806 765 Updated Dec 21, 2025

Reading and writing font files

Rust 708 51 Updated Dec 21, 2025

A complete harfbuzz's shaping algorithm port to Rust

Rust 646 40 Updated Jun 9, 2025

Verifying the Rust standard library

Rust 319 60 Updated Dec 21, 2025

Trophy case for Rudra bugs.

Rust 40 5 Updated Feb 12, 2024

Rust Memory Safety & Undefined Behavior Detection

Rust 1,363 49 Updated Mar 9, 2024

Fast O(1) offset allocator with minimal fragmentation

C++ 981 52 Updated Apr 30, 2024

Keep your dependencies up-to-date

Sass 482 28 Updated Nov 24, 2025

A very fast linker for Linux

Rust 3,088 89 Updated Dec 20, 2025

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Rust 16,759 535 Updated Dec 16, 2025

⚓ A collection of high-performance JavaScript tools.

Rust 17,884 750 Updated Dec 21, 2025
Next