atticuskuhn Goto Github PK

js-porth

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

lambda-calculus

A fun lambda calculus interpreter written in Haskell

linear-logic-programming

linear-programming

lords-of-underground

This is a mafia discord bot

make-a-number

the game 24 made into a competitive leaderboard

make-money-2

The sequel to the game "make money"

mandlebrot-set

math-program

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

maybe

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

n-tris

a game like tetris but with customizable squares

neural-network

A neural Network I am writing for myself based in Python

nextjs-mdx-prism

Example of using Next.js, MDX and Prism

number-to-word

This converts a number to a word

numbertrainer

A game to teach young children to add numbers

pollard-rho

This uses the pollard rho algorithm to factor numbers

primes-problem

this is a simple primes program

proofs-from-the-book

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

pythonchatbotexample

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

react

sample-discord.js-template

scibowl

A website for the Paly Science Bowl Team (SciBowl)

scibowl-discord-bot

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

selguha

shape-wars

hi

speedcoding

Coding as fast as possible

spreadsheet

a spreadsheet written in imba

sprouts

The fun pencil-and-paper game created by Jon Conway