Static checker for GitHub Actions workflow files

Google Coding Competitions problem archive

Unbearably fast near-real-time pure-Python runtime-static type-checker.

Open Source FPV Drone Frame

Upload arbitrary data via Apple's Find My network.

Rock solid distributed database specializing in active/active automatic failover and WAN replication

Bash and Zsh shell history TUI suggest box - easily view, navigate, search and manage your command history.

NYU Deep Learning Spring 2020

A Linux Kernel Module for Advanced Device Tree Operations

🐶 Kubernetes CLI To Manage Your Clusters In Style!

Minesweeper in Rust

Python packaging and dependency management made easy

a place to store quad configs

An Awesome List of computer history videos, documentaries and related folklore

Python support graph for specific Python versions for the most popular Python packages

Deduplicating archiver with compression and authenticated encryption.

🔬 How the Atomic Design methodology can create a great design system from scratch and make better developers.

Boost Note next local spaces is lightspeed workspace for developers

A C interpreter and API explorer.

📦 🔥 Python project management. Manage packages: convert between formats, lock, install, resolve, isolate, test, build graph, show outdated, audit. Manage venvs, build package, bump version.

Computational Pathology Toolbox developed by TIA Centre, University of Warwick.

A completely customizable framework for building rich text editors. (Currently in beta.)

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

The Rust Programming Language

A modern Python application packaging and distribution tool

The Z3 Theorem Prover

Encrypted Python Execution

Python SQL Parser and Transpiler

An abstract imlementation of the Python database API.

Raspberry Pi WiFi setup