Stars
Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
Agda formalisation of the Introduction to Homotopy Type Theory
⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
Binarized Neural Network (BNN) for pytorch
Date Time Functions and Classes for ESP8266 and ESP32
ICML paper 'High-Quality Prediction Intervals for Deep Learning: A Distribution-Free, Ensembled Approach'
Use 7-Seg LED, 1602 LCD, 12864 display, LED Dot Matrix and ESP8266 NodeMCU to make a network clock
Riemannian Adaptive Optimization Methods with pytorch optim
Implict Argument Prediction with Event Knowledge
A PyTorch implementation of the Transformer model in "Attention is All You Need".