Pinned Repositories
aoc_lean
BasicSR
Basic Super-Resolution codes for development. Includes ESRGAN, SFT-GAN for training and testing.
deep-rl-course
CS 294 (Deep Reinforcement Learning) at Berkeley
deepul
Hyperreals
notational-fzf-vim
Notational velocity for vim.
python-conceal
rl_implementations
SEC-Edgar
Download all companies periodic reports, filings and forms from EDGAR database.
thread-twitter
alok's Repositories
alok/notational-fzf-vim
Notational velocity for vim.
alok/thread-twitter
alok/Hyperreals
alok/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
alok/aoc_lean
alok/first_and_last_word
alok/RayTracingOneWeekend
alok/alok
alok/autodidax
alok/byte_pair_encoding
alok/inf
a calculator that can handle infinite and infinitesimal numbers
alok/jaxga
Geometric Algebra package for JAX
alok/Kaleidoscope2
alok/lean4
Lean 4 programming language and theorem prover
alok/lean_raskell
alok/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
alok/localpilot
alok/mathlib4
The math library of Lean 4
alok/max_plus
alok/motor_flow
alok/nanda-mech-interp
alok/nanogpt
alok/pandoc_resume
The Markdown Resume
alok/remnote-readwise
RemNote Readwise Plugin
alok/rust-template
alok/scilean-extra
alok/shed
`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++
alok/topgrade-1
Upgrade all the things
alok/torsor
C++ torsor class template
alok/vibe_of_a_room