Decompilation in progress of Animal Crossing for the Nintendo GameCube.

REST'ful web framework in Agda

Higher level programming in C

🦀 Small exercises to get you used to reading and writing Rust code!

A fancy self-hosted monitoring tool

A plugin loader for the Steam Deck.

Just sharing some code I've been using to investigate pairs of langtons ants

HitSplit is a multiplatform tool for keeping track of your no-hit runs.

livesplit-core is a library that provides a lot of functionality for creating a speedrun timer.

Agda is a dependently typed programming language / interactive theorem prover.

⚡ A Fast, Extensible Progress Bar for Python and CLI

Python implementation of the monster group

High-performance toolchain for Langton's Ant simulation and analysis.

The Roundcube Webmail suite

VS Code in the browser

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Your self-hosted, globally interconnected microblogging community

Langton's ant simulator with a extensive rules editor.

The Free Software Media System

Qbittorrent personal search engines

Twitter4J is an open-source Java library for the Twitter API.

Boot an nds file

DeepSkyStacker

Non-euclidean GPU Raytraced Game

Previously at https://code.google.com/p/ruletablerepository

Detect patterns in a list

Trabajo del mapa Hopalong para la asignatura MC

Hopalong Map implemented in Rust language

3D Engine made from scratch