Discover @AtticusKuhn Open Source projects

Atticus Kuhn (@AtticusKuhn)

AtticusKuhn

Stars
83
Global Rank 236,383 (Top 9 %)
Followers 21
Following 61
Registered about 5 years ago
Most used languages

TypeScript
37.1 %

JavaScript
32.3 %

Python
12.9 %

Lean 4.8 %

Agda 3.2 %

TeX
3.2 %

HTML
3.2 %

GDScript 1.6 %

CSS
1.6 %
Location 🇬🇧 United Kingdom
Country Total Rank 104,608
Country Ranking

Lean 24

Agda 35

GDScript 196

TeX
357

TypeScript
963

CSS
3,117

JavaScript
3,661

HTML
4,609

Python
6,785

vim-google-docs

This chrome extension simulates vim in google docs. It adds the vim keybindings and keyboard shortcuts to google docs.

parallel-algorithms

Proving the correctness and performance of certain parallel algorithms

historcle

A history Guessing game

atticuskuhn.github.io

my new personal website

eulerthedestroyer.github.io

my personal site

minimax-python-connect-4-AI

An AI for the popular board-game "Connect 4" written using the Mini-Max algorithm with Alpha-Beta pruning

functiona_typescript_lib

js-algebraic-effects

Free Monads and Algebraic Effects implemented in vanilla javascript

EU-Economy-Bot

This is an economy bot for the EU discord server

indexed-length-arrays

make-money-2

The sequel to the game "make money"

multi-notes

my notes for multivariable calculus

spreadsheet

a spreadsheet written in imba

js-porth

A porth to javascript compiler. Porth is a stack based language like forth.

tolcanci

common-scripts

A repository for common scripts to quickly copy and paste

math-program

A small math program I am making for fun, like wolfram alpha.

symbolic-logic

modularArithmetic

Using the techniques of denotational design for modular arithmetic

environmentalism_game

typing-simulator

A typing tool similar to nitro type to improve your typing skills

colour-changer-script

this is a fun script to change the colours of a page

SpeedCoding

Coding as fast as possible

arthur-video-game

A simple video game written in Godot

NumberTrainer

A game to teach young children to add numbers

ts-parsec

con-game-alerter-discord.py-rewrite

a rewrite of this discord bot

newsite

my newer website

tictactoe

I made tic tac toe in html

ctf

a paly python ctf

birthday-avi

chome-extension-conflict-of-nations

Atticus-Lisp

linear-logic-programming

axioms

proving some theorems about number rings directly from the axioms

calculatorExample

scibowl-discord-bot

this is a bot to help discord users train for the science bowl trivia competition

Can-You-beat-the-sorter

can you beat the sorter

pythonChatBotExample

A chat bot template and example for beginners to use to learn python. Beginners can extend this project to add more features.

html-game

ultimatetictactoe

ultimate tic tac toe in html5

typescript_calculator

neural-network

A neural Network I am writing for myself based in Python

maybe

hangman

number-to-word

This converts a number to a word

ts_game

Pollard-rho

This uses the pollard rho algorithm to factor numbers

Primes-Problem

this is a simple primes program

EU-economy-bot-discord.py-rewrite

This is a tutorial bot for discord.py-rewrite library commands extension.

scibowl

A website for the Paly Science Bowl Team (SciBowl)

selguha

proofs-from-the-book

Proofs from THE BOOK by Aigner and Ziegler proved in the Lean proving assistant

template-question-language

This is a custom templating language that I am designing to automatically generate math questions for math teachers based on templates.

Make-a-number

the game 24 made into a competitive leaderboard

typescript-lens

lens library in typescript

n-tris

a game like tetris but with customizable squares

Sample-discord.js-template

Lords-of-Underground

This is a mafia discord bot

emulation-theory

formalizing professor Harvey Friedman's ground-breaking work in emulation theory in Lean

agda-category-theory

I am using Agda to formalise category theory

CoN-Chrome-Extension

A chrome extension that adds functionality to the browser game Conflict of Nations