Kevin Lacker
lacker
Languages
Top Repositories
An iPhone-friendly Kalman filter written in C.
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.
Helper scripts for understanding Gödel's Incompleteness Theorem
A bunch of tools for building card games.
Hacking around with GraphQL
A language for mathematics.
Repositories
131The core implementation of the Acorn language.
Acorn's standard library of mathematical facts.
If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge.
An AI assistant for building and modifying Magic decks.
a game where you guess "one bit" words through clues that are "one bit" words
An iPhone-friendly Kalman filter written in C.
A high-performance implementation of some core SETI algorithms that can be included in other programs.
Helper scripts for understanding Gödel's Incompleteness Theorem
Bot for building decks
A tool to count how many Claude tokens are in a file.
Some performance testing of Lean 4
a blog
Hacking around with GraphQL
A bunch of tools for building card games.
A C++ library for handling the GUPPI Raw Data Format
A game
unscramble a word, slowly getting hints
No description provided.
Crow + robot = crowbot. Get it?
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
Voice generation demo
Just drawing some fractals.
A language for mathematics.
No description provided.
program search
No description provided.
sol language
No description provided.
Some simple sequence-to-sequence models, using PyTorch
The simplest, fastest repository for training/finetuning medium-sized GPTs.