alok

Alok Singh's repositories

lean-inf

Language:LeanApache-2.0600

lean-autograd

Language:Lean200

Adv360-Pro-ZMK

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

Language:ShellMIT1 10

aoc_lean

Language:Lean1 20

020

codeflash_demo

Language:Python000

complex-transformer

Language:Python000

gdp-lang-families

Language:Python010

inf

a calculator that can handle infinite and infinitesimal numbers

Language:JavaScriptGPL-2.0010

Kaleidoscope2

Language:Swift010

katz_polar

Language:TeX000

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0000

lean_raskell

Language:Lean020

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

MIT000

linear_canonical_transform

000

llm.lean

Language:LeanApache-2.0000

mathlib4

The math library of Lean 4

Language:LeanApache-2.0010

modular-form-activation

Language:Python000

nanda-mech-interp

Language:Jupyter Notebook010

nanograd

Language:Python000

numga

Geometric algebra in JAX and numpy

MIT000

pandoc_resume

The Markdown Resume

Language:TeXMIT020

remnote-readwise

RemNote Readwise Plugin

Language:TypeScriptMIT010

scilean-extra

Language:Lean020

snake-4d

Language:Python000

snake_4d

000

topgrade-1

Upgrade all the things

Language:RustGPL-3.0010

torsor

C++ torsor class template

Language:C++010

variational_harmonic

Language:Python000

ZeroToHero

000