A free, secure and open source app for Android to manage your 2-step verification tokens.

Keeping track of companies that "care about your data 🥺"

A large collection of NES accuracy tests on a single NROM cartridge.

Plugin for Anki SRS designed to facilitate cooperation on creation of notes and decks.

Generate any location from the real world in Minecraft Java Edition with a high level of detail.

A Ck3 coa generator

binary releases of VS Code without MS branding/telemetry/licensing

Chrome extension to return youtube dislikes

Main Repo for the OpenVic Project

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

Quickly migrate from using snap packages to flatpaks

A minimalist kernel

Converts Victoria 3 games to Hearts of Iron 4 mods

Converts Europa Universalis 4 saves into Victoria 3 mods.

Six Degrees of Wikipedia

Combustion engine simulator that generates realistic audio.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Master thesis concerning domain logic for reasoning about terms with binding of variables

Minecraft, but I made it in 48 hours.

A modern runtime for JavaScript and TypeScript.

A small, fast, native lisp with "magical" powers

Chez Scheme

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

JVM bytecode back end for Idris

Blame someone else for your bad code.

Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.

A readline wrapper

The Lobster Programming Language

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.