Claire Wang's starred repositories
LEGO-Prover
Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries
long-range-arena
Long Range Arena for Benchmarking Efficient Transformers
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
cse291-program-synthesis
Program Synthesis Course
Category_Theory_Machine_Learning
List of papers studying machine learning through the lens of category theory
pyinstrument
🚴 Call stack profiler for Python. Shows you why your code is slow!
speedscope
🔬 A fast, interactive web-based viewer for performance profiles.
xdp-tutorial
XDP tutorial
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
project-based-learning
Curated list of project-based tutorials
lean4-mode
Emacs major mode for Lean 4
TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT