Taylor Belcher's repositories
hotdogontology
Config files for my GitHub profile.
codehs-java-library
This is the CodeHS java library files
PokemonRedExperiments
Playing Pokemon Red with Reinforcement Learning
math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
JavaPractice
Files created while learning Java
real-number-game
A gamification of the theorems in MATH40002 Analysis 1
format_lean
A Lean file formatter
Lean-game-maker
This project converts structured Lean code into an interactive browser game.
lean-web-editor
Lean web editor
DnD
Kyle's DnD stuff
natural_number_game
Building the natural numbers in Lean.
leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
NNDL-solutions
Solutions of the exercises and problems from Michael Nielsen's book Neural Networks and Deep Learning: http://neuralnetworksanddeeplearning.com/
aifh
Artificial Intelligence for Humans
learningjava
Example Code for Learning Java, O'Reilly & Associates, 4th Edition