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
aoc-2020
Solutions to 2020 Advent of Code
aoc-2021
Advent of Code solutions
aoc2022
codingground
Main Repository for Coding Ground
decim
dependently-typed-lambda
Follow along for a tutorial
enmap
Enhanced Map structure with additional utility methods.
ochre
A systems theorem prover
tempusold
charlielidbury's Repositories
charlielidbury/ochre
A systems theorem prover
charlielidbury/enmap
Enhanced Map structure with additional utility methods.
charlielidbury/tempusold
charlielidbury/aca-simplerscalar
charlielidbury/aoc-2020
Solutions to 2020 Advent of Code
charlielidbury/aoc-2021
Advent of Code solutions
charlielidbury/aoc2022
charlielidbury/decim
charlielidbury/dependently-typed-lambda
Follow along for a tutorial
charlielidbury/teapoint
charlielidbury/Docker-Image
Docker Image for SPE Coursework 1
charlielidbury/haskell-or-death
hashcode answers
charlielidbury/haskell-register-machines
Solves register machine questions for models of computation
charlielidbury/haskellcalculus
charlielidbury/help-bot
charlielidbury/javapictureprocessing
charlielidbury/lambda-nodejs-lightsail-backup-multi-instance
The AWS Lightsail is a great service, but you do not have a possibility to set up automatic backups from the console of the service. This script for the AWS Lambda NodeJS automates the process.
charlielidbury/minecraft-server
charlielidbury/objectified-sqlite3
Uses getters and template literals on top of sqlite3 to make an almost transparent database layer
charlielidbury/one-click-hugo-cms
charlielidbury/paxosmmc
Paxos Made Moderately Complex
charlielidbury/pregel-coursework
charlielidbury/rust_orm
charlielidbury/RustCourse
charlielidbury/sqlite-connector
charlielidbury/tempusbot
Discord Bot for Tempus
charlielidbury/thermodynamicssnookered
charlielidbury/typed-api
An example react + express project with typing across all interactions between the two.
charlielidbury/wacc_32
Imperial Wacc group project submission.
charlielidbury/zellwk.com
Github repo for https://zellwk.com