- Birmingham
- https://natravenhill.com
-
gitextensions Public
Forked from gitextensions/gitextensionsGit Extensions is a standalone UI tool for managing git repositories. It also integrates with Windows Explorer and Microsoft Visual Studio (2015/2017/2019).
C# Other UpdatedJul 19, 2023 -
-
-
-
StudyNotesAndExercises Public
Exercises from classes and books I have done/read
Haskell UpdatedJun 21, 2022 -
-
-
WeatherAppReact Public
A .NET Core 3.1 MVC application that will display the weather forecast for the next 5 days
-
-
FreeCodeCamp Public
Front End and Javascript Algorithms Projects from FreeCodeCamp
HTML UpdatedMay 6, 2021 -
react-state-matching-game Public
Forked from snychka/react-state-matching-gameJavaScript UpdatedApr 29, 2021 -
-
-
-
Playnite Public
Forked from JosefNemec/PlayniteOpen source video game library manager with support for 3rd party libraries like Steam, GOG, Origin, Battle.net and Uplay. Including game emulation support, providing one unified interface for your…
C# MIT License UpdatedAug 30, 2019 -
grandnode Public
Forked from grandnode/grandnodeFree and Open Source Ecommerce Shopping Cart solution based on ASP.NET CORE and MongoDB
C# Other UpdatedAug 2, 2019 -
FoodNetwork Public
Website for Food Banks to connect with donators and receivers; made for Hackference Hackathon 2015 with Barnaby Colby and Aaquib Naved
HTML UpdatedApr 9, 2018 -
Old-Personal-Website Public
My old personal website from when I was a student
HTML UpdatedFeb 4, 2018 -
JChat Public
Stand-alone Java Chat client extracted from code I created in 2nd year Team Project
Java UpdatedOct 7, 2016 -
AdequacyPCF Public
Notes and Proofs for my Masters Dissertation on Adequacy in PCF
TeX UpdatedSep 11, 2016 -
JMail Public
java programs for sending emails written as part of the 2nd Year Software Systems Components module in 2013
Java UpdatedMay 26, 2016 -
AgdaCompiler Public
Final exercise for the Advanced Functional Programing module at University of Birmingham, with Yu Yang Lin and Matthew Thompson
Agda UpdatedApr 20, 2015