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
maku
Aishomaku (Train information noticeboard) iOS utility for UK railways, shown in a JR-liked fashion.
0 1 00
nazo
Collections of mathematical brainteasers, majorly from quant interviews
0 1 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.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'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/maku
Aishomaku (Train information noticeboard) iOS utility for UK railways, shown in a JR-liked fashion.
0 1 00
sezryo/nazo
Collections of mathematical brainteasers, majorly from quant interviews
0 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:HTML0 1 00