youwen

lean-iap

Lean 0 0

notes from sipb cluedump "Programs and Proofs in Lean," IAP 2026, https://www.mit.edu/~xy/lean/

Updated 2026-02-05 08:13:47 -08:00

web

Haskell 0 0

personal website powered by a custom Typst-based static site generator

Updated 2026-02-01 16:15:02 -08:00

markov

Lean 0 0

functor.systems as a markov chain

Updated 2026-01-31 16:49:51 -08:00

WHILE

Haskell 0 0

a lexer for a toy language called WHILE using monadic parser combinators

Updated 2026-01-15 17:14:14 -08:00

puri

Haskell 0 0

toy URI parser using megaparsec, an industrial strength monadic parser combinator library

Updated 2026-01-15 13:12:01 -08:00

shezhi

Nix 0 0

My personal NixOS / functorOS configuration.

Updated 2026-01-14 11:50:20 -08:00

bookworm Template

Nix 1 0

template for a multi-document Typst monorepo

Updated 2026-01-08 01:33:15 -08:00

gtl-mexico

Typst 0 0

Source for seminars and colloquia at Colegio Oxford, presented in Córdoba, Veracruz

Updated 2026-01-08 01:32:00 -08:00

monograph Template

Haskell 0 0

a static site generator blog template for hackers and theorists

Updated 2026-01-05 15:52:57 -08:00

natural-number-game

Lean 0 0

solutions for natural number game, a gamified tutorial for the lean theorem prover

Updated 2026-01-05 04:53:02 -08:00

mathematize

Nix 0 0

a program for inducing mathematical excellence

Updated 2026-01-02 18:11:10 -08:00

rednoise

Haskell 0 0

experiment with rebuilding my website in hakyll

Updated 2026-01-02 04:23:45 -08:00

textbooks

0 0

Updated 2025-12-30 21:10:50 -08:00

blaze-html

Haskell 0 0

A blazingly fast HTML combinator library for Haskell.

Updated 2025-12-30 14:07:11 -08:00

liquidhaskell

Haskell 0 0

mirror of ucsd-progsys/liquidhaskell

Updated 2025-12-30 04:07:22 -08:00