Pinned Repositories
atticuskuhn.github.io
my new personal website
EU-Economy-Bot
This is an economy bot for the EU discord server
eulerthedestroyer.github.io
my personal site
functiona_typescript_lib
historcle
A history Guessing game
indexed-length-arrays
js-algebraic-effects
Free Monads and Algebraic Effects implemented in vanilla javascript
js-porth
A porth to javascript compiler. Porth is a stack based language like forth.
parallel-algorithms
Proving the correctness and performance of certain parallel algorithms
vim-google-docs
This chrome extension simulates vim in google docs. It adds the vim keybindings and keyboard shortcuts to google docs.
AtticusKuhn's Repositories
AtticusKuhn/parallel-algorithms
Proving the correctness and performance of certain parallel algorithms
AtticusKuhn/atticuskuhn.github.io
my new personal website
AtticusKuhn/historcle
A history Guessing game
AtticusKuhn/js-algebraic-effects
Free Monads and Algebraic Effects implemented in vanilla javascript
AtticusKuhn/make-money-2
The sequel to the game "make money"
AtticusKuhn/minimax-python-connect-4-AI
An AI for the popular board-game "Connect 4" written using the Mini-Max algorithm with Alpha-Beta pruning
AtticusKuhn/multi-notes
my notes for multivariable calculus
AtticusKuhn/agda-category-theory
I am using Agda to formalise category theory
AtticusKuhn/arthur-video-game
A simple video game written in Godot
AtticusKuhn/Atticus-Lisp
AtticusKuhn/axioms
proving some theorems about number rings directly from the axioms
AtticusKuhn/birthday-avi
AtticusKuhn/emulation-theory
formalizing professor Harvey Friedman's ground-breaking work in emulation theory in Lean
AtticusKuhn/Lords-of-Underground
This is a mafia discord bot
AtticusKuhn/modularArithmetic
Using the techniques of denotational design for modular arithmetic
AtticusKuhn/newsite
my newer website
AtticusKuhn/Sample-discord.js-template
AtticusKuhn/scibowl
A website for the Paly Science Bowl Team (SciBowl)
AtticusKuhn/scibowl-discord-bot
this is a bot to help discord users train for the science bowl trivia competition
AtticusKuhn/selguha
AtticusKuhn/symbolic-logic
AtticusKuhn/church-encoding
AtticusKuhn/dotfiles
my personal dotfiles
AtticusKuhn/felix
Agda category theory library for denotational design
AtticusKuhn/graphing-calculator
AtticusKuhn/group_theory
group theory done in lean using Dummit and Foote's "Abstract Algebra"
AtticusKuhn/lambda-calculus
A fun lambda calculus interpreter written in Haskell
AtticusKuhn/linear-programming
AtticusKuhn/mandlebrot-set
AtticusKuhn/Sprouts
The fun pencil-and-paper game created by Jon Conway