naz's repositories
awesomeMLSys
An ML Systems Onboarding list
nvchad-custom
NVChad is a NVIM base config. This is my personal custom part of that config.
dotfiles
my dotfiles
Alpha-Challenge
A set of case studies for the Wintermute Alpha Challenge
blogmaker
The self-made software package I used to make my blog. Feel free to use it!
Devon
Devon: An open-source pair programmer
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
llama3-from-scratch
llama3 implementation one matrix multiplication at a time
Machine-Learning
Machine learning from scratch
pglite
Lightweight Postgres packaged as WASM into a TypeScript library for the browser, Node.js, Bun and Deno from https://electric-sql.com
prometheus-grafana-monitoring
OpenSourceMonitoring
revmc
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
siwe-aabstractor
UI to connect your Smart Accounts to dapps via SIWE (Sign-In With Ethereum).
tripos-lecture-notes
My collection of handouts and lecture notes (finished and unfinished)
turmoil
Add hardship to your tests
website-scraper-puppeteer
Plugin for website-scraper which returns html for dynamic websites using puppeteer