The ISLa (Input Specification Language) language & solver.

SystemVerilog to Verilog conversion

Command-line sampling profiler for macOS, Linux, and Windows

Empowering everyone to build reliable and efficient software.

Predatory ESP32 Firmware

Página simples e robusta para pesquisar eventos no Hacktown 2025

A local diffing tool for decompilation projects

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

A Toolchain for Rust Debuginfo

An interpreter for Rust's mid-level intermediate representation

A Rust port of tmux

Embedded Rust device crates for STM32 microcontrollers

An open source graphics editor for 2025: comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural ed…

Interpreted, optimized, JITed and compiled implementations of the Brainfuck lang.

A x86_64 C99 compiler written in Rust from scratch

Efficient, deferred formatting for logging on embedded systems

Cross-platform Rust rewrite of the GNU coreutils

Weighs the soul of incoming HTTP requests to stop AI crawlers

rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.

Decompilation in progress of Animal Crossing for the Nintendo GameCube.

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Super Mario Galaxy 1 decompilation.

Browser extension - Get notified about new GitHub notifications

An extremely fast Python type checker and language server, written in Rust.

Launcher-driven Bluetooth manager for Linux

Rust SSH client & server library

DMG-CPU Reverse Engineering

Modern embedded framework, using Rust and async.

A program for managing systemd services through a TUI (Terminal User Interfaces).