A Python pickling decompiler and static analyzer

LLM inference in C/C++

GPU programming related news and material links

MLX implementation of Meta's ESM-1 protein language model

A small utility to modify the dynamic linker and RPATH of ELF executables

Ethereum smart contract fuzzer

A collection of EVM puzzles

A browser based code editor

Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)

educational python plonk implementation, based on vitalik's py_plonk

A cross-platform GUI for youtube-dl made in Electron and node.js

xv6 OS

EDMA is an interactive terminal app for managing multiple embedded databases system at once with powerful byte deserializer support.

Platform for playing poker bots against each other

Undergraduate Thesis on io_uring in Haskell GHC RTS

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

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A post-modern modal text editor.

Interesting readings and talks on computer science

Distributed SQL database in Rust, written as an educational project

The Z3 Theorem Prover

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Zellic's audits, publications, and reports

A music theory binary and library for Rust / JS.

🌸 Sweet, Powerful, IndieWeb-Compatible SvelteKit Blog Starter. [Polaris]

A list of helpful cybersecurity / infosec resources

Scheduling application designed to mitigate some of the pain-points present throughout Georgia Tech's registration process.

📸 Screen capture made easy!

GStreamer bindings for Rust - This repository moved to https://gitlab.freedesktop.org/gstreamer/gstreamer-rs