alok

Alok Singh's repositories

notational-fzf-vim

Notational velocity for vim.

Language:Vim Script1117 16 67

thread-twitter

Language:Python11 20

Hyperreals

Language:JuliaMIT3 30

Adv360-Pro-ZMK

Production repository for the all-new Advantage360 Professional using ZMK engine

Language:ShellMIT1 10

aoc_lean

Language:Lean1 30

first_and_last_word

Language:Python1 20

RayTracingOneWeekend

Language:JuliaMIT1 20

020

autodidax

Language:Python020

byte_pair_encoding

Language:Python030

inf

a calculator that can handle infinite and infinitesimal numbers

Language:JavaScriptGPL-2.0010

jaxga

Geometric Algebra package for JAX

Language:PythonMIT010

Kaleidoscope2

Language:Swift010

lean4

Lean 4 programming language and theorem prover

Apache-2.0000

lean_raskell

Language:Lean020

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

MIT000

localpilot

Language:PythonMIT010

mathlib4

The math library of Lean 4

Apache-2.0000

max_plus

Language:Rust020

motor_flow

Language:TeX020

nanda-mech-interp

Language:Jupyter Notebook010

nanogpt

Language:Python030

pandoc_resume

The Markdown Resume

Language:TeXMIT020

remnote-readwise

RemNote Readwise Plugin

Language:TypeScriptMIT010

rust-template

Language:Rust020

scilean-extra

Language:Lean020

shed

`shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++

Language:PythonAGPL-3.0010

topgrade-1

Upgrade all the things

GPL-3.0000

torsor

C++ torsor class template

000

vibe_of_a_room

Language:Python030