HEIGE-PCloud
Open Source developer, Mathematics and Computer Science undergraduate.
@ImperialCollegeLondonLondon, UK
Pinned Repositories
chat.pcloud.dev
Cryptic-Crossword-Sovler
A Python (Flask) web app project in which we utilise Morse, a cryptic crossword clue solver and explain-er developed by Dr Tony Field, to solve whole cryptic crosswords. No longer active so purely for viewing.
DoIt
A clean, elegant and advanced blog theme for Hugo.
formalising-mathematics-2024
LifeOS
A minimal Operating System to run the Game of Life Simulation on Raspberry Pi 3b
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Notion-Hugo
Use Notion as the CMS for your Hugo site
Notion-To-Markdown
Convert Notion pages and blocks into Markdown
pawn-race
Here lives the champion of the Kotlin Chess: Pawn Race Competition 2022-23
tasty-process
Test execution of external processes with Tasty
HEIGE-PCloud's Repositories
HEIGE-PCloud/DoIt
A clean, elegant and advanced blog theme for Hugo.
HEIGE-PCloud/Notion-Hugo
Use Notion as the CMS for your Hugo site
HEIGE-PCloud/Notion-To-Markdown
Convert Notion pages and blocks into Markdown
HEIGE-PCloud/pawn-race
Here lives the champion of the Kotlin Chess: Pawn Race Competition 2022-23
HEIGE-PCloud/chat.pcloud.dev
HEIGE-PCloud/Cryptic-Crossword-Sovler
A Python (Flask) web app project in which we utilise Morse, a cryptic crossword clue solver and explain-er developed by Dr Tony Field, to solve whole cryptic crosswords. No longer active so purely for viewing.
HEIGE-PCloud/formalising-mathematics-2024
HEIGE-PCloud/LifeOS
A minimal Operating System to run the Game of Life Simulation on Raspberry Pi 3b
HEIGE-PCloud/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
HEIGE-PCloud/tasty-process
Test execution of external processes with Tasty
HEIGE-PCloud/minnow-winter-2024
CS 144 networking lab
HEIGE-PCloud/partest
Property based testing for context free grammar parsers
HEIGE-PCloud/WACC
Yet another compiler for the WACC programming language