hotdogontology

aifh

Artificial Intelligence for Humans

codehs-java-library

This is the CodeHS java library files

DnD

Kyle's DnD stuff

format_lean

A Lean file formatter

hotdogontology

Config files for my GitHub profile.

JavaPractice

Files created while learning Java

Lean-game-maker

This project converts structured Lean code into an interactive browser game.

lean-natural-number-game-solutions

lean-web-editor

Lean web editor

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

hotdogontology/leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

hotdogontology/aifh

Artificial Intelligence for Humans

hotdogontology/codehs-java-library

This is the CodeHS java library files

hotdogontology/DnD

Kyle's DnD stuff

hotdogontology/format_lean

A Lean file formatter

hotdogontology/hotdogontology

Config files for my GitHub profile.

hotdogontology/JavaPractice

Files created while learning Java

hotdogontology/Lean-game-maker

This project converts structured Lean code into an interactive browser game.

hotdogontology/lean-natural-number-game-solutions

hotdogontology/lean-web-editor

Lean web editor

hotdogontology/lean4game

hotdogontology/leanteach2020

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

hotdogontology/learningjava

Example Code for Learning Java, O'Reilly & Associates, 4th Edition

hotdogontology/math2001

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

hotdogontology/natural_number_game

Building the natural numbers in Lean.

hotdogontology/NNDL-solutions

Solutions of the exercises and problems from Michael Nielsen's book Neural Networks and Deep Learning: http://neuralnetworksanddeeplearning.com/

hotdogontology/PokemonRedExperiments

Playing Pokemon Red with Reinforcement Learning

hotdogontology/real-number-game

A gamification of the theorems in MATH40002 Analysis 1

hotdogontology/student_project