Pinned Repositories
athena
Athena is a modern, practical language for proof engineering & natural deduction.
athena-pkgbuild
An unofficial PKGBUILD for Athena a modern, practical language for proof engineering & natural deduction.
brand-qr
AWS Lamba implementation to create branded QR codes.
cli-typer
Practice touch typing in the commandline and measure your skills.
custom-keyboard
A custom mechanical keyboard I am making from scratch. The PCB will have functionality for Bluetooth LE, and USB-C outputs. Based on the AVR micro-controller family.
FooBarBunny
Just a small python terminal pet from Google foobar's first challenge.
greenhouse-server
Greenhouse temperature monitoring and collection on a Raspberry Pi
NFC_F91W
This is a mod for the Casio F91-W to include a 125kHz NFC chip, specifically the T5577. The goal of this was to create a working tag that would fit in the watch with no modification to the outer case and water resistance.
ntp_client_python
An NTP client made using Python and C. Adjusts system clock based on offset.
pipeline
The Polytechnic's content management system
MacroLens's Repositories
MacroLens/NFC_F91W
This is a mod for the Casio F91-W to include a 125kHz NFC chip, specifically the T5577. The goal of this was to create a working tag that would fit in the watch with no modification to the outer case and water resistance.
MacroLens/custom-keyboard
A custom mechanical keyboard I am making from scratch. The PCB will have functionality for Bluetooth LE, and USB-C outputs. Based on the AVR micro-controller family.
MacroLens/athena
Athena is a modern, practical language for proof engineering & natural deduction.
MacroLens/athena-pkgbuild
An unofficial PKGBUILD for Athena a modern, practical language for proof engineering & natural deduction.
MacroLens/brand-qr
AWS Lamba implementation to create branded QR codes.
MacroLens/cli-typer
Practice touch typing in the commandline and measure your skills.
MacroLens/FooBarBunny
Just a small python terminal pet from Google foobar's first challenge.
MacroLens/greenhouse-server
Greenhouse temperature monitoring and collection on a Raspberry Pi
MacroLens/ntp_client_python
An NTP client made using Python and C. Adjusts system clock based on offset.
MacroLens/pymc-examples
Examples of PyMC models, including a library of Jupyter notebooks. -- Dev Fork
MacroLens/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
MacroLens/studentStoreBanking
A NFC card reader project for the Raspberry Pi.