Koka language compiler and interpreter

🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.

A modern proof language

A reference implementation for the Wormhole blockchain interoperability protocol.

A programming language with static memory management based on λ-calculus

UtahFS is an encrypted storage system that provides a user-friendly FUSE drive backed by cloud storage.

NetMeta is a scalable network observability toolkit optimized for performance.

A small tool for deterministic generation of secrets.

math/cs publications I find useful

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

E-mails, subdomains and names Harvester - OSINT

A pure-Rust implementation of group operations on Ristretto and Curve25519

A private self-hosted gallery and image feed.

A snapshot heavy event sourcing library for Haskell.

Generically derive traversals, lenses, and prisms.

A standard library for Haskell

Generalized bananas, lenses and barbed wire

A collection of resources for learning type theory and type theory adjacent fields.

Command line parsing library using Free Applicative

A linux-based assembly REPL for x86, amd64, armv7, and armv8

A distributed adaptor between chat protocols. Connect Stack, IRC, and Steam.

Links to publicly available preprints for the POPL'16 conference

[DEPRECATED] password manager thing

PKGBUILD files for Arch Linux

the worst piece of shit imaginable

Typefaces for source code beautification

A little tool to play with Windows security

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.