zonble 的 Microsoft Edit 中文寫作魔改版

Microscopic fetch tool in Rust, for NixOS systems, with special emphasis on speed

Formalisation of an affine type and effect system for a language with effect handlers

virtual lisp machine on Arm64 macOS

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad

An accuracy-first SEGA Saturn emulator in Rust.

a page 1 rewrite of the ask proof assistant

Shrinking induction-recursion... sometimes you just wanna be small!

Terminal-based presentations using Pandoc

A profiler which samples the RTS callstack

A jq-like Markdown query language for command-line processing

A language with dependent data and codata types

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

TiML: A Functional Programming Language with Time Complexity

Embedded Controller firmware for the Framework Laptop

A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.

Zero-config, fast `io_uring`-based HTTPS server.

Experimentation with a WASM backend for Racket CS

Phased version of SOGAT signatures

Ultraformalization at Hyperscale.

Two-player networked tetris with a twist

Parallel, fused reducers for Lean 4

Proof Annotation Language: inline Pulse annotations for C

Coinductive Interaction Trees in Lean4 using QPFs

Implementation of Defunctionalized Calculus of Constructions (Master thesis)

PartIII dissertation: defunctionalization for dependently typed languages

A racket implementation of the verse calculus

Data poisoning for your everyday tracking