Savio Mak

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

High quality rendering of Typst in Obsidian, powered by wypst.

The development repository for LessWrong2 and the EA Forum, based on Vulcan JS

A custom bot designed to manage redstone records.

DumPy: Like NumPy except it's OK if you're dum

Python API client for Manifold Markets

Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype – the unbearably fast near-real-time pure-Python runtime-static type-checker.

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Applies labels to Pull Requests based on the total lines of code changed.

Decorator to shield your FastAPI endpoints.

A mutable set that remembers the order of its entries. One of Python's missing data types.

Simple and powerful factories for mock data generation

A carefully crafted, thoroughly tested, optimized companion library for SQLAlchemy

Renders typst code blocks in Obsidian into images using Typst through the power of WASM!

Benchmarking Litestar vs other ASGI API framework

No description provided.

Drop-in replacement for Python's built-in `dataclasses` module, allowing for certain fields to be mutable while others remain immutable.

A tiling window manager for Windows 🍉

No description provided.

No description provided.

Postgres/pgvector Python Client

No description provided.

No description provided.

V4 of Starboard, written in Rust.

Will be the best karaoke system.

Version history of all my shortforms in LessWrong, because sometimes people reply to a previous version

All the scripts I used