I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
jjiv56ot7d… / ocaml-forester
ocaml
★ 3 tangled
jjiv56ot7d… / ocaml-concrete-syntax
★ 1 tangled
jjiv56ot7d… / jonsterling-test-2
please delete this lmao
tangled
jjiv56ot7d… / pterodactyl-language-client
A Visual Studio Code extension for Pterodactyl
★ 1 tangled
jjiv56ot7d… / AquaKit
A collection of user interface components and drawing routines for building tasteful apps using AppKit.
★ 4 tangled
jjiv56ot7d… / reflexive-graph-lenses-paper
tangled
jjiv56ot7d… / swift-pterodactyl
★ 15 tangled