naz's repositories
Devon
Devon: An open-source pair programmer
llama3-from-scratch
llama3 implementation one matrix multiplication at a time
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
siwe-aabstractor
UI to connect your Smart Accounts to dapps via SIWE (Sign-In With Ethereum).
website-scraper-puppeteer
Plugin for website-scraper which returns html for dynamic websites using puppeteer
bybit-smm
bybit simple market maker
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
dotfiles
my dotfiles
sqlmodel
SQL databases in Python, designed for simplicity, compatibility, and robustness.
nvchad-custom
NVChad is a NVIM base config. This is my personal custom part of that config.
tripos-lecture-notes
My collection of handouts and lecture notes (finished and unfinished)
ape
The smart contract development tool for Pythonistas, Data Scientists, and Security Professionals
remote-work
Utility crates that allow you to model remote team's work schedules, visualise it and even interact with on Discord
seaport
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
artemis
A simple, modular, and fast framework for writing MEV bots in Rust.
init.lua
Adapted from primeagen's init.lua repository
trait-offer-merkle-tree
How does seaport and blur support NFT trait offers?
nft-metadata
Cached NFT Metadata
ecs-enft-discord-fail
When running this on ecs as a service it will not post to discord
0xbc01n
Submission for: https://gitcoin.co/issue/oceanprotocol/ocean-bounties/24/4379