Skip to content
View NathanielB123's full-sized avatar
🐔
Learning Agda...
🐔
Learning Agda...
22 followers · 91 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@WTy-2

Block or report NathanielB123

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • fyp Public

    Final year project

    Agda 1 Updated Dec 19, 2024

  • Combinator-Printer Public

    Print out combinators!

    Haskell 1 Updated Nov 24, 2024

  • nbe-four-ways Public

    NbE Four Ways... in Agda!

    Agda Updated Nov 1, 2024

  • irr-elim Public

    Eliminators for inductive-inductive-recursive types

    Agda Updated Oct 21, 2024

  • dep-ty-chk Public

    A simple, sound, dependent type checker (WIP)

    Agda 1 Updated Oct 1, 2024

  • depfix Public

    Dependent, positive, iso-recursive types

    Agda 3 Updated Aug 13, 2024

  • hindent Public

    Forked from mihaimaruseac/hindent

    Haskell pretty printer

    Haskell Other Updated Jan 18, 2024

  • gigaparsec Public

    Forked from j-mie6/gigaparsec

    Refreshed parsec-style library for compatiblity with Scala parsley

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 18, 2024

  • verified-data-structures Public

    Some verified data structures and their proofs... in Agda!

    Agda Updated Nov 29, 2023

  • funky-ints Public

    A short Cubical Agda proof about some funky integers

    Agda Updated Nov 15, 2023

  • Dungeon-Sand-Dragon Public

    A party based RPG made in a week in python using pygame.

    Python 2 1 Updated Oct 31, 2023

  • aoc-2022 Public

    My solutions to the Advent of Code 2022 problems

    Kotlin Updated Jul 30, 2023

  • simple-regex-expander Public

    Haskell Updated Jan 15, 2023

  • simple-thread-pool Public

    A simple thread pool library that does not busy-wait

    C Updated Dec 20, 2022

  • AdventOfCode2021 Public

    My solutions to advent of code 2021

    Haskell Updated Jan 3, 2022

  • Pathfinding Public

    A program for creating floor plans and finding paths between points on them.

    Python Updated Dec 13, 2021

  • Slime-Defence-Pygame Public

    A spin on typical tower-defence gameplay made in python with pygame.

    Python Updated Dec 3, 2021

  • Guild-Wars-1-Skill-Template-Tool Public

    A simple console-based tool for convenient "monster drafting" as well as reading and creating Guild Wars 1 Skill Templates.

    Python Updated Oct 7, 2021

  • 2019-Advent-of-Code Public

    My Python solutions to Advent of Code

    Python Updated Oct 2, 2021

  • EuchreMultiplayer Public

    A recreation of the card game "Euchre" to be played in online multiplayer built in Unity, coded in C# and using PUN.

    C# 2 Updated Aug 27, 2021

  • TKINTER-Platformer Public

    A basic platformer made in python using TkInter.

    Python Updated Aug 20, 2021

  • Real-Time-Software-3d-Renderer Public

    A real-time software-driven 3d renderer built in C#

    C# Updated Aug 19, 2021

  • Rocket-Simulation-Attempt Public

    A simple rocket simulation.

    Python Updated Dec 9, 2020

  • Snakes-and-Ladders-TkInter Public

    A simple snakes and ladders game made in python using TkInter with some wiggly snakes.

    Python Updated Dec 8, 2020

  • Python-Lossless-Compressor Public

    An attempt at creating a lossless text file compressor in python.

    Python Updated Feb 24, 2020

  • Python-Turtle-Platformer Public

    A basic platformer made in python using turtle.

    Python Updated Dec 7, 2019

  • Cambridge-Coding-Academy-Assessment Public

    Here is my code and write-up for project 1 of the CCA Assessment

    Python Updated Oct 21, 2018