decorator-factory

vscode-neovim. Vim mode for VSCode, powered by Neovim

neovim. Vim-fork focused on extensibility and usability

anyio. High level asynchronous concurrency and networking framework that works on top of either Trio or asyncio

go-cmp. Package for comparing Go values in tests

golangci-lint. Fast linters runner for Go

piper. GTK application to configure gaming devices

python-re-quiz. Some trick and non-trick questions about Python's regular expression stuff.

uwcwidth. terminal width of Unicode 16.0+Emoji strings in nanoseconds

powerletters. Concise spellings of common Rust operations

pack1. Byte array newtypes of various primitive types.

ipython. Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

rust-url. URL parser for Rust

zed-dark-as-heck. High contrast dark theme for the Zed editor

rocket-jumping-penguin. Rocket jump as a penguin

movfuscator. The single instruction C compiler

movfuscator. The single instruction C compiler

DOOM. DOOM Open Source Release

unsoundness. Collecting examples of unsoundness in the Python type system

playground-from-gist. Redirect to a code playground using a gist

cryptograms. Decipher quotes about software

tariff. The official repository for tariff

py-deadlinks. Find broken links on a static website

xlskubectl. xlskubectl — a spreadsheet to control your Kubernetes cluster

FLT. Ongoing Lean formalisation of the proof of Fermat's Last Theorem

dep_from_hexpm. Remember to keep good posture and stay hydrated!

vanilla-js-tetris. TypeScript

ts-generic-rep. Highly experimental TypeScript project providing a type-level lambda.

py2-nostalgia. Python2 style argument destructuring using parameter annotations

rust-wtf8. Rust implementation of the WTF-8 encoding.

ONABOBFE4P_BrainFck_Emulators. Python

mutable-tuple. Demo for my article, do not use

thread-first-thread-last-backwards-question-mark-as-arrow-cond-arrow-bang. The exciting new ->->><?as->cond->! macro

tikzducks. A latex package to draw cute rubber ducks with TikZ

sudoku-in-python-packaging. Sudoku solving in python packaging

rtl88x2bu. rtl88x2bu driver updated for current kernels.

LoremFlickr-2. LoremFlickr provides placeholder images for every case, web or print, on almost any subject, in any size.

rough-notation. Create and animate hand-drawn annotations on a web page

wired-elements. Collection of custom elements that appear hand drawn. Great for wireframes or a fun look.

grist-core. Grist is the evolution of spreadsheets.

MegaJIT-8. Chip8 emulator with JIT-compiler for x86-64

Truncate. An adversarial word game built in Rust and egui 🏡

stlink. Open source STM32 MCU programming toolset

USB-WiFi. USB WiFi Adapter Information for Linux

8821au-20210708. Linux Driver for USB WiFi Adapters that are based on the RTL8811AU and RTL8821AU Chipsets - v5.12.5.2

serde-rs.github.io. HTML

posting. The modern API client that lives in your terminal.

twitch-tui. Twitch chat in the terminal.

python-penisipsum. Random text generator: Penis ipsum eu huevum do desinflatum membrum sunt gustosu

fractalglider.github.io. Programming blog

lumi. Replacing Python's type system.

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

balatro-gay. This is silly

trollface.

MS-DOS. The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

sgtpuzzles. Android port of Simon Tatham's Puzzles

TelegramTUI. Telegram client on your terminal

pyright-playground. Website for testing snippets of code using the pyright type checker

Barotrauma. A 2D online multiplayer game taking place in a submarine travelling through the icy depths of Jupiter's moon Europa.

FreeCAD. Link branch FreeCAD

flake8-eradicate. Flake8 plugin to find commented out or dead code

3d-printing. My personal 3d-printing projects

flake8-comprehensions. ❄️ A flake8 plugin to help you write better list/set/dict comprehensions.

typst. A markup-based typesetting system that is powerful and easy to learn.

openscad-LSP. A LSP (Language Server Protocol) server for OpenSCAD.

openscad-support-vscode. OpenSCAD language support for VSCode

ImplicitCAD. A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

mypy-plugin-attempt. My attempt at making a mypy plugin.

elm-markup-language-demo. Elm

figjam-live-code-block. Turn FigJam into a collaborative JavaScript canvas

hadoukenify. Turn any snippet of code into a hadouken code gif straight from your browser

flip. Old flip function from Elm 0.18

py-simpleparser. Python

totally-speedy-transmute. this safety is an illusion, exile

rs-interpreter-experiments. Experimenting with DSL interpreters in Rust

aiosmtplib. asyncio smtplib implementation

smtpproto. Sans-io implementation of the (E)SMTP protocol

pyright-lint. A expremental linter based on Pyright.

buttplug. Rust Implementation of the Buttplug Sex Toy Control Protocol

circuitjs1. Electronic Circuit Simulator in the Browser

system-bus-radio. Transmits AM radio on computers without radio transmitting hardware.

isevenandodd. npm package - Test if given thing is a number with a value of zero.

skill.

hello-world.rs. 🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

factorio-todo-list. A distributed todo list mod for Factorio

circuitjs1. Electronic Circuit Simulator in the Browser

typeguard. Run-time type checker for Python

activate-linux. The "Activate Windows" watermark ported to Linux

pytest-fixture-tools. Pytest fixture tools

awesome-flake8-extensions. :octocat: A curated awesome list of flake8 extensions. Feel free to contribute! :mortar_board:

obs-studio. OBS Studio - Free and open source software for live streaming and screen recording

pyright-playground. Try Pyright in your browser

xpresso. A composable Python ASGI web framework

flake8-pep585. flake8 plugin to enforce new-style type hints (PEP 585)

dirty-equals. Doing dirty (but extremely useful) things with equals.

typing-tips. tutorial on Python's type system (always WIP)

mkdocs-material. Documentation that simply works

mkdocs-ivory. Ivory theme for MkDocs

py-bot-command-parser. Parser for simple chat bot commands

adaptix. An extremely flexible and configurable data model conversion library.

py-ast-rule-engine. DSL for matching Python ASTs

pmast. Pattern Matching for the Python AST

roberto. Collaboration with Roberto Ierusalimschy

pika-stubs. PEP-484 stubs for Pika

agda-stdlib. The Agda standard library

pravda. Python type-checker written in Rust

cpython. The Python programming language

nedbatcom. nedbatchelder.com

lanim. Functional animation library for Python

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

immutables. A high-performance immutable mapping type for Python.

ide. IDE for Lark-Parser

aiosqlite. asyncio bridge to the standard sqlite3 module

dpypx. A wrapper for the Discord Python Pixels API.

Corded. A modular, extensible Discord client

union-types. A Typescript library for creating discriminating union types.

purescript-typelevel-lists. Type-level list of kinds for PureScript.

purescript-alphasucc. For those times when you want the alphabet for labeling things.

ts-parser-thing. Simple functional language implemented in TypeScript.

acme-cofunctor. A Cofunctor is a structure from category theory dual to Functor

reanimate. Haskell library for building declarative animations based on SVG graphics

videos. Code for the manim-generated scenes used in 3blue1brown videos

colorama. Simple cross-platform colored terminal text in Python

py-gurklang. An interpreted Python implementation of Gurklang.

forms-backend. Backend for Python Discord forms

is-not-number. JavaScript

site. pythondiscord.com - A Django and Bulma web application.

pyright. Static Type Checker for Python

lark. Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

mlangpy. A collection of tools for parsing, building and manipulating BNF-like metalanguages.

ctok. Expose CPython's tokenizer as a Python class

code-golf. A game designed to let you show off your code-fu by solving problems in the least number of characters.