Name: Charlie Lidbury
Type: User
Bio: I'm a computing student at Imperial College London, graduating in 2024. I love language design & implementation, philosophy, and occasionally poltical theory.
Location: London, United Kingdom
Blog: charlielidbury.com
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
docker-image
Docker Image for SPE Coursework 1
enmap
Enhanced Map structure with additional utility methods.
haskell-or-death
hashcode answers
haskell-register-machines
Solves register machine questions for models of computation
haskellcalculus
help-bot
javapictureprocessing
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.
minecraft-server
objectified-sqlite3
Uses getters and template literals on top of sqlite3 to make an almost transparent database layer
ochre
A systems theorem prover
one-click-hugo-cms
paxosmmc
Paxos Made Moderately Complex
pregel-coursework
rust_orm
rustcourse
sqlite-connector
teapoint
tempusbot
Discord Bot for Tempus
tempusold
thermodynamicssnookered
typed-api
An example react + express project with typing across all interactions between the two.
wacc_32
Imperial Wacc group project submission.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
