A text editor specialized for displaying and editing code documents. Written in pure Swift.

LSP server for Twelf

🎈 Incredibly fast, native chat app for teams & communities

Better web-based prototypes for iPad

HTTP Buttons, PUT/DELETE Forms, and Partial Page Replacement - three proposals for the HTML standard

The speed of a single-page web application without having to write any JavaScript

Apple Human Interface Guidelines, et al.

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

OCaml Format pretty-printer combinators

A library for producing HIG-compliant user interfaces for the Macintosh with Aqua styling

The Rocq Prover Website

🍎 A completed tutorial demonstrating how to use drag and drop with NSTableView.

👅 We made the buttons on the screen look so good you'll want to lick them. - Steve Jobs

A package that enables use of the deprecated `NSDrawer` API with SwiftUI

Lazy SwiftUI wrapper for NSOutlineView

Prose macOS application. XMPP client for team messaging.

Rust implementation of stack graphs

Upspin: A framework for naming everyone's everything.

Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

A Lean 4 formalization of partial combinatory algebras.

A minimal development of SSA theory

A tool for manipulating weak omega-computopes

Content-addressed identifiers in OCaml