profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/stellamplau/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
stellamplau University of Cambridge Cambridge, UK

technicalguy/acs-category-theory-notes-2017 13

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

stellamplau/zstd 2

Zstandard - Fast real-time compression algorithm

ocrawford555/teamOscarSSE 1

Simulated Stock Exchange for Part IB Group Project

PetarV-/viral 1

you're infected

sshankar19/Spoons-Tunes 1

Python(?) implementation of a simple application that picks music for a facebook event and suggests a place to order food from. (Also orders food).

stellamplau/acs-category-theory-notes-2017 0

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

stellamplau/bedrock2 0

Towards a low-level systems programming language with a verified compiler

stellamplau/categories 0

Categories parametrized by morphism equality, in Agda

stellamplau/cspec 0

Verifying concurrent code with layers and movers