2025
Program Synthesis Based on GR(1) Games
2025-04-30
Category theory Notes • Adjoints
2025-02-18
Category theory Notes • Limits & Colimits
2025-02-01
Prove techniques in computability theory
2025-01-09
2024
Automata Theory • Büchi Automata
2024-10-26
Automata Theory • Pushdown Automata
2024-01-07
2023
HoTT Notes 12
2023-12-05
HoTT Notes 11
2023-12-01
HoTT Notes 10
2023-11-27
HoTT Summary
2023-11-19
HoTT Notes 9
2023-11-18
HoTT Notes 8
2023-11-18
HoTT Notes 7
2023-11-16
The Physics of Semiconductors
2023-05-13
Image to RGB565 converter
2023-03-03
Compile LLVM style IR to web assembly
2023-02-04
Category theory Notes • Functor
2023-01-30
tikz cheatsheet
2023-01-30
2022
Category theory Notes 2
2022-12-19
mem2reg made simple
2022-11-16
Elementary Geometry In Agda
2022-10-24
How to prove 2 ≤ 3 in Agda
2022-10-14
Category theory Notes • Category
2022-09-29
HoTTEST Summer School HoTT Notes 6
2022-09-12
HoTTEST Summer School HoTT Notes 5
2022-08-17
HoTTEST Summer School HoTT Notes 4
2022-07-20
HoTTEST Summer School HoTT Notes 3
2022-07-18
HoTTEST Summer School HoTT Notes 2
2022-07-16
HoTTEST Summer School HoTT Notes 1
2022-07-14
2021
Automata Theory • Finite State Machines
2021-07-22
2020
Hello zola!
2020-01-02
2019
How to implement an easiest compiler
2019-05-21
2018
Regular Expressions <-> Regular Grammar
2018-04-12