Atticus Kuhn's repositories
parallel-algorithms
Proving the correctness and performance of certain parallel algorithms
atticuskuhn.github.io
my new personal website
js-algebraic-effects
Free Monads and Algebraic Effects implemented in vanilla javascript
make-money-2
The sequel to the game "make money"
minimax-python-connect-4-AI
An AI for the popular board-game "Connect 4" written using the Mini-Max algorithm with Alpha-Beta pruning
multi-notes
my notes for multivariable calculus
agda-category-theory
I am using Agda to formalise category theory
arthur-video-game
A simple video game written in Godot
emulation-theory
formalizing professor Harvey Friedman's ground-breaking work in emulation theory in Lean
Lords-of-Underground
This is a mafia discord bot
modularArithmetic
Using the techniques of denotational design for modular arithmetic
scibowl-discord-bot
this is a bot to help discord users train for the science bowl trivia competition
felix
Agda category theory library for denotational design
group_theory
group theory done in lean using Dummit and Foote's "Abstract Algebra"
lambda-calculus
A fun lambda calculus interpreter written in Haskell