Ghidra MCP Server — 200+ MCP tools for AI-powered reverse engineering. GUI plugin + headless server, lazy tool loading, convention enforcement, batch operations, Ghidra Server integration, and Dock…

📱 objection - runtime mobile exploration

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

An overengineered workaround to Discord not supporting audio when screensharing on Linux.

The static site builder for Elixir lovers

Data interchange with algebraic data types.

Ohayou(おはよう), HTTP load generator, inspired by rakyll/hey with tui animation.

CoWasm: Collaborative WebAssembly for Servers and Browsers. Built using Zig. Supports Python with extension modules, including numpy.

Highly performant and advanced self hosted file sharing platform made in Rust

A monospaced programming font inspired by the Minecraft typeface

Implementation of authenticated dictionary based on M. T. Goodrich, R. Tamassia article "Efficient Authenticated Dictionaries with Skip Lists and Commutative Hashing" (https://www.cs.jhu.edu/~goodr…

A type-checker for Erlang

A simple custom DNS server implementing RFC 1035

magic-trace collects and displays high-resolution traces of what a process is doing

Ergonomic Mocking for Elixir

Kani Rust Verifier

Lightning-fast and Powerful Code Editor written in Rust

Anime Girls Holding Programming Books

A conformance testing tool for HTTP/2 implementation.

File listener bot

Bandit is a pure Elixir HTTP server for Plug & WebSock applications

🕵️ Detect new images and video on social media feeds and dispatch webhooks on updates

🔬 A fast, interactive web-based viewer for performance profiles.

Reverse Engineers' Hex Editor

An introductory course to Homotopy Type Theory

Source code error pretty printing

The dumb phone.

Create book from markdown files. Like Gitbook but implemented in Rust

Work in progress SDK for creating Game Boy Advance games using Zig programming language.