sezryo

Do something original!

DPMMS, CambridgeCambridge / London

Pinned Repositories

beyond-games
Gently weird notes took in Cambridge
Language:TeX2 1 00
cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
Language:TeX1 0 00
Dress
好耶是女装
Language:Standard ML1 0 00
nix-doom-emacs
doom-emacs packaged for Nix
Language:Nix0 0 00
nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:Nix0 0 00
PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Haskell0 0 00
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
presez
Preimage of Sez
Language:Nix2 1 00
Sezriv
Was bin ich? Was ist ich? Was ist 'bin'?
1 1 00
sezryo.github.io
yotsuya
Language:HTML00

sezryo's Repositories

sezryo/beyond-games
Gently weird notes took in Cambridge
Language:TeX2 1 00
sezryo/presez
Preimage of Sez
Language:Nix2 1 00
sezryo/cambridge-maths-notes
LaTeX sources for notes for the maths courses at Cambridge.
Language:TeX1 0 00
sezryo/Dress
好耶是女装
Language:Standard ML1 0 00
sezryo/Sezriv
Was bin ich? Was ist ich? Was ist 'bin'?
1 1 00
sezryo/nix-doom-emacs
doom-emacs packaged for Nix
Language:Nix0 0 00
sezryo/nixos-hardware
A collection of NixOS modules covering hardware quirks.
Language:Nix0 0 00
sezryo/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Haskell0 0 00
sezryo/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
sezryo/sezryo.github.io
yotsuya
Language:HTML00