charlielidbury

I'm a computing student at Imperial College London, graduating in 2024. I love language design & implementation, philosophy, and occasionally poltical theory.

London, United Kingdom

Pinned Repositories

aca-simplerscalar
Language:Jupyter Notebook0 1 00
aoc-2020
Solutions to 2020 Advent of Code
Language:Haskell0 2 00
aoc-2021
Advent of Code solutions
Language:Rust0 2 00
aoc2022
0 2 00
codingground
Main Repository for Coding Ground
0 1 00
decim
Language:Svelte0 3 01
dependently-typed-lambda
Follow along for a tutorial
0 2 00
enmap
Enhanced Map structure with additional utility methods.
Language:JavaScript1 1 00
ochre
A systems theorem prover
Language:TeX8 3 10
tempusold
Language:PHP1 1 00

charlielidbury's Repositories

charlielidbury/codingground
Main Repository for Coding Ground
0 1 00