Pinned Repositories
ExtParser
Extensible Grammar Parser
StealthScreenCapture
Capture screen secretly and periodically
epidemic_sim
Epidemic Simulator
F-Empire-Business-Simulation-Terminal
fasttext_post_classifier
Post Classifier by fasttext
fds-mini-project
FDS Workshop Mini-Project
HAlgPapers
crowd sourced past paper solutions
INF1A
All courseworks for INF1A, mostly written in Haskell
INF1B
All coursework for INF1B (OOP, Java)
infos
The School of Informatics (University of Edinburgh) Research Operating System
lituzou's Repositories
lituzou/ExtParser
Extensible Grammar Parser
lituzou/mathlib4
The math library of Lean 4
lituzou/lean4-metaprogramming-book
lituzou/Nomos
This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.
lituzou/LibShalom
lituzou/HAlgPapers
crowd sourced past paper solutions
lituzou/infos
The School of Informatics (University of Edinburgh) Research Operating System
lituzou/infos-user
School of Informatics (University of Edinburgh) Research Operating System User-space
lituzou/StealthScreenCapture
Capture screen secretly and periodically
lituzou/fasttext_post_classifier
Post Classifier by fasttext
lituzou/nanostl
My own implementation of C++ STL
lituzou/fds-mini-project
FDS Workshop Mini-Project
lituzou/INF1B
All coursework for INF1B (OOP, Java)
lituzou/INF1A
All courseworks for INF1A, mostly written in Haskell
lituzou/epidemic_sim
Epidemic Simulator
lituzou/F-Empire-Business-Simulation-Terminal