Gavin Uberti's repositories
witness-encryption-demos
World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.
tvm-arduino-demos
Example projects using TVM to run neural networks on Arduino
ArduinoCore-API
Hardware independent layer of the Arduino cores defining the official API
arweave-python-client
This client allows you to integrate your python apps with the Arweave network allowing you to perform wallet operations and transactions
caravel
Caravel is a standard SoC hardness with on chip resources to control and read/write operations from a user-dedicated space.
chat-ui
Open source codebase powering the HuggingChat app
crypto
Lecture notes for a course on cryptography
DiT
Official PyTorch Implementation of "Scalable Diffusion Models with Transformers"
ggml
Tensor library for machine learning
kenken-solver
Basic Kenken solver using the Gurobi Python API
keras
Deep Learning for humans
mathlib
Lean mathematical components library
metaseq
Repo for external large-scale work
ml_dtypes
A stand-alone implementation of several NumPy dtype extensions used in machine learning.
models
Models and examples built with TensorFlow
SmartMatrix
SmartMatrix Library for Teensy 3, Teensy 4, and ESP32
sphinx-gallery
Sphinx extension for automatic generation of an example gallery
tlcpack-sphinx-addon
Additional sphinx theming on top of rtd theme with support for header and footer
tvm-arduino-blog-post
Blog post drafts about Arduino support
tvm-arduino-profiling
Speed and memory usage comparisons between TVM versions and TLFM
tvm-site
repo for tvm