jamievicary

globular

Globular

syco

Website for the Symposium on Compositional Structures

birmingham-theory

The web page for the Birmingham theoretical computer science research group

act2021

act2020

The webpage for Applied Category Theory 2020

cl-server-config

Configure CL server

clash

Cambridge Logical Structures Hub

fantastic-pancake

mgs2023

owls

Webpage for the Online Worldwide Seminar on Logic and Semantics

pittsposium

rapidjson

A fast JSON parser/generator for C++ with both SAX/DOM style API

research

Script to generate paper, talk and other data for my web page