A curated list of awesome PICO-8 resources, carts, tools and more

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

A plugin manager for Fish

Perfect Green Screen Keys

A more intuitive version of du in rust

An extension library of useful 'stuff' (aka classes) I have created for Minecraft: Pi Edition's API

A plugin for Bukkit implementing the Minecraft Pi API

USB-less Linux installer for Linux and Windows. Install Linux without a USB stick.

get things from one computer to another, safely

🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fas…

A Git-compatible VCS that is both simple and powerful

Empowering everyone to host fast and efficient Minecraft servers.

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

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

a game to learn (or teach) how to use standard commands in a Unix shell

An intermediary api aimed at easing development of multiplatform mods.

Enchantment effect-based player motion library for Minecraft

Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network

Text threading and image wrap-around for Typst

A framework for managing and maintaining multi-language pre-commit hooks.

A simple, lightweight PowerShell script that allows you to remove pre-installed apps, disable telemetry, as well as perform various other changes to declutter and customize your Windows experience.…

CaDiCaL SAT Solver

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.

Linux namespaces and seccomp-bpf sandbox

All Algorithms implemented in Python

Mutation-based implementation of a random equivalence testing strategy for active automata learning

A modern Prolog implementation written mostly in Rust.