Dylan Le's repositories
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.
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.
FooBarBunny
Just a small python terminal pet from Google foobar's first challenge.
greenhouse-server
Greenhouse temperature monitoring and collection on a Raspberry Pi
ntp_client_python
An NTP client made using Python and C. Adjusts system clock based on offset.
pymc-examples
Examples of PyMC models, including a library of Jupyter notebooks. -- Dev Fork
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
studentStoreBanking
A NFC card reader project for the Raspberry Pi.