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
drivers-evergreen-tools
Scripts for MongoDB drivers to bootstrap their Evergreen configuration file - This Repository is NOT a supported MongoDB product
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.
libmongocrypt
Required C library for Client Side and Queryable Encryption in MongoDB
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/drivers-evergreen-tools
Scripts for MongoDB drivers to bootstrap their Evergreen configuration file - This Repository is NOT a supported MongoDB product
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/libmongocrypt
Required C library for Client Side and Queryable Encryption in MongoDB
adriandole/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
adriandole/mongo-c-driver
The Official MongoDB driver for C language
adriandole/mongo-cxx-driver
C++ Driver for MongoDB
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/specifications
Specifications related to MongoDB
adriandole/tc_tools
Wrappers for thermocouple measurement and calibration procedures.