An open-source, offline-first Anki-compatible iOS flashcard client with sync server support, powered by the official Anki Rust backend via C FFI.

Papers about Operator Algebras

Operator algebras in Lean

Lecture notes in MAT 4360 C^*-Algebras

These are my notes from UC Berkeley Math 242, Symplectic Geometry, taught by Alan Wienstein in Fall 2005.

A core language and API for dependently typed languages

A Uiua library for tree and stack-like operations

A mathematical pattern generator written in Uiua

Dyalog APL Competition solved with Haskell.

Coq for politicians

Copy of cmFORTH

A sample HTTP server for gforth

Lean 4 port of Megaparsec

Speculate laws about Haskell functions

🧊 An indexed construction of semi-simplicial and semi-cubical sets

Refinement types + dependent types = ❤️

Demo for high-performance type theory elaboration

Concatenative dependently-typed functional programming language