-
-
-
katz_polar Public
Katz centrality and polar coordinate transformations in TeX
TeX UpdatedSep 14, 2024 -
numga Public
Forked from EelcoHoogendoorn/numgaGeometric algebra in JAX and numpy
Python MIT License UpdatedSep 12, 2024 -
nanograd Public
Minimal automatic differentiation engine with computational graph building
Python UpdatedAug 20, 2024 -
-
ZeroToHero Public
Port of Karpathy's micrograd automatic differentiation engine to Lean 4
UpdatedAug 12, 2024 -
scilean-extra Public
SciLean extensions: Egyptian fractions, Lisp compiler, units of measurement
Lean UpdatedAug 5, 2024 -
variational_harmonic Public
Experiments in calculus of variations with arclength optimization
Python UpdatedJul 27, 2024 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedJul 18, 2024 -
lean-autograd Public
Automatic differentiation in Lean following JAX's autodidax tutorial
-
complex-transformer Public
Transformer using complex numbers for natural rotation and positional encoding
Python UpdatedJun 28, 2024 -
remnote-readwise Public
Forked from bjsi/remnote-readwiseRemNote Readwise Plugin
TypeScript MIT License UpdatedJun 21, 2024 -
gdp-lang-families Public
Analysis: Proto-Indo-European descendant languages constitute 59% of world GDP
Python UpdatedJun 18, 2024 -
CvxLean Public
Forked from verified-optimization/CvxLeanConvex optimization modeling in Lean 4
Lean Apache License 2.0 UpdatedMay 31, 2024 -
Kaleidoscope2 Public
3D sphere inversions renderer for Apple Vision Pro using Metal
Swift UpdatedApr 28, 2024 -
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C++ MIT License UpdatedApr 28, 2024 -
lean-holes Public
Forked from brendanzab/lean-holesInteractive holes for Lean 4
Lean UpdatedApr 19, 2024 -
nanda-mech-interp Public
Mechanistic interpretability experiments and tutorials
Jupyter Notebook UpdatedApr 13, 2024 -
lean_raskell Public
RASP-L (Restricted Access Sequence Processing Language) implementation in Lean 4
Lean UpdatedApr 8, 2024 -
inf Public
Forked from khafatech/infa calculator that can handle infinite and infinitesimal numbers
JavaScript GNU General Public License v2.0 UpdatedMar 29, 2024 -
-
-
-
aoc_lean Public
Advent of Code 2023 solutions in Lean 4 with parser combinators
-
pandoc_resume Public
Forked from mszep/pandoc_resumeThe Markdown Resume
TeX MIT License UpdatedOct 4, 2023 -
-
first_and_last_word Public
Text scrambler preserving first and last letters to test readability claims
-
-
nanogpt Public
Clean GPT-2 implementation based on Karpathy's NanoGPT using einops
Python UpdatedMay 15, 2023
{{ message }}