Stars
A fast non-blocking HTTP server on top of libev
Curated list of project-based tutorials
Curated list of design and UI resources from stock photos, web templates, CSS frameworks, UI libraries, tools and much more
OpenDyslexic, a typeface that uses typeface shapes & features to help offset some visual symptoms of Dyslexia. Now in SIL-OFL.
Lean Library currently studying for a degree at Imperial College
Python - 100天从新手到大师
Lightweight and fast programming language designed to be written in Chinese.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
This is my personal knowledge-base. Here you'll find code-snippets, technical documentation, and command reference for various tools, and technologies.
Educational material for big data engineering courses
LLMs as Copilots for Theorem Proving in Lean
Overview of tactics in Lean 4 for beginners — longer version
The "batteries included" extended library for the Lean programming language and theorem prover
Source code for the X Recommendation Algorithm
Printable (A4) overview of tactics in Lean 4 for beginners
The user home repository for the Mathematics in Lean tutorial.