SpaceSaver is a macOS application designed to help you manage and optimize your workspace. It leverages macOS accessibility features to provide a seamless experience

Unitary Compiler Collection

A guide to the adventurer.

Buckets Desktop Application

A Rust API search engine

Graph data structure library for Rust.

This repo started to create a roguelite dungeon crawler for the the GGJ2021, then got out of hands

Open-source KVM software

A curated list of projects related to the reMarkable tablet

Cross-platform content sharing in a local network

Implementación de los fundamentos de HoTT en Agda; labandalambda.

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

🗺️ Generate an interactive geo heatmap from your Google location data

a small .pdf management tool with a command-line UI

rust style and philosophy

Haskell/GHC symbol search cheatsheet

Tools for 802.11 information gathering.

A telegram bot for dota2 updates

Formulario de inscripcion para concursos auxiliares de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires.

All CPU and MCU documentation in one place

A book-in-progress about the Linux kernel and its insides.

😎 Awesome lists about all kinds of interesting topics

🌺 Minimalist Vim Plugin Manager

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Personal dotfiles

Blog post previews in need of peer review