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

A Privacy First PDF Toolkit

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 to remove pre-installed apps, disable telemetry, as well as perform various other changes to customize, declutter and improve your Windows experience. Win11D…

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.

Development tools at your fingertips

Overview of tactics in Lean 4 for beginners — longer version

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

Highly secure and easy to use OTP client written in C/GTK3 that supports both TOTP and HOTP

My Minecraft Data-Packs

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Generate Podman Quadlet files from a Podman command, compose file, or existing object

Podman: A tool for managing OCI containers and pods.

Instantly Retrieve Email Addresses and Usernames of Stargazers from Designated Repositories, Achieving Unparalleled Speed and Efficiency - All Without the Need for an API Key.

Cap'n Proto serialization/RPC system - core tools and C++ library

Diagrams of concepts in physics/chemistry/ML

Library for cross-version Minecraft Bukkit support and various efficient API methods.

Object-oriented file system path manipulation

A modern cookiecutter template for Python projects that use uv for dependency management