Local CI. Sign off on your own work.

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

Runtime state profiler for React that detects redundant state, update chains, and infinite loops by tracking when state updates happen.

Magnificent app which corrects your previous console command.

Open-source KVM software

Python Linux uevent virtual joystick interface for DJI Mini 2 RC (also known as RC-N1, RCS231, WM161b-RC-N1, RCN1) <-> Linux joystick interface (uinput)). Inspired by hjstn/miniDjiController

Search engine service for public contracts in Portugal

Simple peer-to-peer screen sharing

Create & scan cute qr codes easily 👾

A collection of shared utilities for the ArchId Network

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

🤖 A module for creating Discord bots using NestJS, based on Discord.js

💬 Easy tooltips, popovers, dropdown, menus... for Vue

A community-maintained Python framework for creating mathematical animations.

🕓 A schedule generator for Instituto Superior Técnico (IST)'s students.

Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa

Node version management

Script para enviar o Roteiro do filme Shrek, linha por linha, no WhatsApp

D2 is a modern diagram scripting language that turns text to diagrams.

Display and control your Android device

Some notes from the courses of my Master's Degree in Computer Science and Engineering, at IST.

A markup-based typesetting system that is powerful and easy to learn.

The project where literally anything* goes.

Animation engine for explanatory math videos

Next Generation Vue UI Component Library

A collaborative list of Waze navigation voice packs

reddark, but it's in realtime

Google SafetyNet attestation workarounds for Magisk

The official gpt4free repository | various collection of powerful language models | opus 4.6 gpt 5.3 kimi 2.5 deepseek v3.2 gemini 3

muak muak muak.