Pinned Repositories
quot-a-lecture
Multi-award winning ICHack 22 project: lecture transcript question extraction & analysis
2019-Advent-of-Code
My Python solutions to Advent of Code
aoc-2022
My solutions to the Advent of Code 2022 problems
Combinator-Printer
Print out combinators!
Dungeon-Sand-Dragon
A party based RPG made in a week in python using pygame.
EuchreMultiplayer
A recreation of the card game "Euchre" to be played in online multiplayer built in Unity, coded in C# and using PUN.
Real-Time-Software-3d-Renderer
A real-time software-driven 3d renderer built in C#
simple-thread-pool
A simple thread pool library that does not busy-wait
Slime-Defence-Pygame
A spin on typical tower-defence gameplay made in python with pygame.
NathanielB123's Repositories
NathanielB123/depfix
Dependent, positive, iso-recursive types
NathanielB123/Dungeon-Sand-Dragon
A party based RPG made in a week in python using pygame.
NathanielB123/EuchreMultiplayer
A recreation of the card game "Euchre" to be played in online multiplayer built in Unity, coded in C# and using PUN.
NathanielB123/Combinator-Printer
Print out combinators!
NathanielB123/dep-ty-chk
A simple, sound, dependent type checker (WIP)
NathanielB123/2019-Advent-of-Code
My Python solutions to Advent of Code
NathanielB123/AdventOfCode2021
My solutions to advent of code 2021
NathanielB123/aoc-2022
My solutions to the Advent of Code 2022 problems
NathanielB123/Cambridge-Coding-Academy-Assessment
Here is my code and write-up for project 1 of the CCA Assessment
NathanielB123/Pathfinding
A program for creating floor plans and finding paths between points on them.
NathanielB123/Real-Time-Software-3d-Renderer
A real-time software-driven 3d renderer built in C#
NathanielB123/simple-thread-pool
A simple thread pool library that does not busy-wait
NathanielB123/Slime-Defence-Pygame
A spin on typical tower-defence gameplay made in python with pygame.
NathanielB123/funky-ints
A short Cubical Agda proof about some funky integers
NathanielB123/gigaparsec
Refreshed parsec-style library for compatiblity with Scala parsley
NathanielB123/Guild-Wars-1-Skill-Template-Tool
A simple console-based tool for convenient "monster drafting" as well as reading and creating Guild Wars 1 Skill Templates.
NathanielB123/hindent
Haskell pretty printer
NathanielB123/nbe-four-ways
NbE Four Ways... in Agda!
NathanielB123/Python-Lossless-Compressor
An attempt at creating a lossless text file compressor in python.
NathanielB123/Python-Turtle-Platformer
A basic platformer made in python using turtle.
NathanielB123/Rocket-Simulation-Attempt
A simple rocket simulation.
NathanielB123/simple-regex-expander
NathanielB123/Snakes-and-Ladders-TkInter
A simple snakes and ladders game made in python using TkInter with some wiggly snakes.
NathanielB123/TKINTER-Platformer
A basic platformer made in python using TkInter.
NathanielB123/verified-data-structures
Some verified data structures and their proofs... in Agda!