Discover AtticusKuhn/axioms Open Source project

Proving the correctness and performance of certain parallel algorithms

parallel-algorithms

TeX

historcle

A history Guessing game

atticuskuhn.github.io

my new personal website

eulerthedestroyer.github.io

my personal site

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

minimax-python-connect-4-AI

functiona_typescript_lib

Free Monads and Algebraic Effects implemented in vanilla javascript

js-algebraic-effects

This is an economy bot for the EU discord server

EU-Economy-Bot

indexed-length-arrays

The sequel to the game "make money"

make-money-2

my notes for multivariable calculus

multi-notes

TeX

spreadsheet

a spreadsheet written in imba

CSS

proofs-from-the-book

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

Lean

js-porth

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

tolcanci

A repository for common scripts to quickly copy and paste

common-scripts

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

math-program

symbolic-logic

Using the techniques of denotational design for modular arithmetic

modularArithmetic

Agda

environmentalism_game

HTML

typing-simulator

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

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

colour-changer-script

Coding as fast as possible

SpeedCoding

A simple video game written in Godot

arthur-video-game

GDScript

NumberTrainer

A game to teach young children to add numbers

ts-parsec

a rewrite of this discord bot

con-game-alerter-discord.py-rewrite

newsite

my newer website

I made tic tac toe in html

tictactoe

ctf

birthday-avi

chome-extension-conflict-of-nations

Atticus-Lisp

linear-logic-programming

calculatorExample

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

scibowl-discord-bot

Can-You-beat-the-sorter

can you beat the sorter

group theory done in lean using Dummit and Foote's "Abstract Algebra"

group_theory

Lean

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

an html game

ultimate tic tac toe in html5

ultimatetictactoe

typescript_calculator

A neural Network I am writing for myself based in Python

neural-network

maybe

hangman

This converts a number to a word

number-to-word

ts_game

This uses the pollard rho algorithm to factor numbers

Pollard-rho

this is a simple primes program

Primes-Problem

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

EU-economy-bot-discord.py-rewrite

A website for the Paly Science Bowl Team (SciBowl)

scibowl

selguha

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

template-question-language

the game 24 made into a competitive leaderboard

Make-a-number

lens library in typescript

typescript-lens

Sample-discord.js-template

a game like tetris but with customizable squares

n-tris

This is a mafia discord bot

Lords-of-Underground

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

emulation-theory

Lean

agda-category-theory

I am using Agda to formalise category theory

Agda

CoN-Chrome-Extension

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