Concurrent Smart Order Router (SOR) in Go

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

Python Type Checker / Language Server

A Proof-oriented Programming Language

A static verifier for Rust, based on the Viper verification infrastructure.

The CompCert formally-verified C compiler

Generating structured data from arbitrary, unstructured input.

Multi-platform high-performance compute language extension for Rust.

mold: A Modern Linker 🦠

concurrency for C++

Empowering everyone to build reliable and efficient software.

A Python package for elegant error handling, inspired by Rust's Result type.

An extremely fast Python package and project manager, written in Rust.

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

A Webring for UW CS students & Alumni

Typst symbol classifier

A simple, yet elegant, HTTP library.

A typst wasm plugin to use graphviz directly inside documents

The Book of Statistical Proofs

Zipline, a Pythonic Algorithmic Trading Library

A library to generate LaTeX expression from Python code.

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

Portfolio analytics for quants, written in Python

Moved to https://git.jeffas.net

🐚 Python-powered shell. Full-featured and cross-platform.

A new type of shell

Sphere tracing signed distance functions.