No description available

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Buzzard is a 40 keys ergonomic split keyboard

Software tools for EAGLE silkscreen generation

🦀 Learning Rust by Examples.

Advanced raster and geometry manipulations

Bob Buzzard's Salesforce CLI Samples

ZMK Configuration for Buzzard

Bob Buzzard Utilities Salesforce CLI Plugin

Welcome to The Filter Game! This is also our M2R project supervised by Prof. Kevin Buzzard at Imperial College London

My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.

A python tool for parmeter identification in finite element analysis using the optimization algorithms in SciPy.

Buzzard is a lightweight, fast, and extensible .NET library that implements the Mediator pattern

Cleaned up source for a Forth like interpreter from a 1992 IOCCC winner called 'buzzard'

An android app for better parking

No description available

runtime library for "Blaze", if ever implemented: memory mgt, string and exception handling later

SFDX Plugin from Bob Buzzard

No description available

Source code for 'PHP MySQL Website Programming' by Dilip Thomas, Jessey Cinis, Chris Lea, and Michael Buzzard

Buzzard Protocol

Estimating survivial probabilites for common buzzards using combined dead and live encounter data

No description available

fivem script for the buzzard having GTA-IV's style missiles

No description available

No description available

No description available

Processing MOs, MTs, DRs, and MQs

Android app for custom buzzing.