Pinned Repositories
aoc2022
aoc2023
aoc2024
async-rust-bridge
Rust async executor which delegates execution to external event loop
cx4230-project-2
Event-oriented traffic simulation
dotfiles
formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
hector_slam
hector_slam contains ROS packages related to performing SLAM in unstructed environments like those encountered in the Urban Search and Rescue (USAR) scenarios of the RoboCup Rescue competition.
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
mongodb-haskell
MongoDB driver for Haskell
adriandole's Repositories
adriandole/aoc2022
adriandole/aoc2023
adriandole/aoc2024
adriandole/async-rust-bridge
Rust async executor which delegates execution to external event loop
adriandole/cx4230-project-2
Event-oriented traffic simulation
adriandole/dotfiles
adriandole/formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
adriandole/hector_slam
hector_slam contains ROS packages related to performing SLAM in unstructed environments like those encountered in the Urban Search and Rescue (USAR) scenarios of the RoboCup Rescue competition.
adriandole/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
adriandole/mongodb-haskell
MongoDB driver for Haskell
adriandole/mongodb_store
MongoDB tools for storing and analysing runs of ROS systems.
adriandole/nixpkgs
Nix Packages collection & NixOS
adriandole/nixvim
Configure Neovim with Nix! [maintainer=@pta2002, @traxys]
adriandole/panel_cover
Determining snow cover of solar panels
adriandole/pdf-contents
pdf-contents
adriandole/pv_timelapse
Creates time-lapses from sky camera images
adriandole/pythonmorsels
Python Morsels coding challenges
adriandole/tc_tools
Wrappers for thermocouple measurement and calibration procedures.