Pinned Loading

1. Lambda-Calculus-Type-Deriver Lambda-Calculus-Type-Deriver Public

   A simple project which creates type derivations for lambda calculus terms, written as part of a coursework.

   Haskell

2. JNote-Backend JNote-Backend Public

   Simple notes app.

   Java

3. Blockchain-Python Blockchain-Python Public

   A simple blockchain project in Python.

   Python 1

4. DNote-Frontend DNote-Frontend Public

   Frontend app for notes

   Dart

5. Java-Multithreaded-Chat Java-Multithreaded-Chat Public

   Chat client and server created for coursework at the University of Bath

   Java 1

6. KNote-Backend KNote-Backend Public

   Attempt at Kotlin, recreating a simple java project.

   Kotlin