Pinned Loading

1. fyp fyp Public

   Final year project

   Agda 1 1

2. kashparty/quot-a-lecture kashparty/quot-a-lecture Public

   Multi-award winning ICHack 22 project: lecture transcript question extraction & analysis

   Python 8

3. nbe-four-ways nbe-four-ways Public

   NbE Four Ways... in Agda!

   Agda

4. Real-Time-Software-3d-Renderer Real-Time-Software-3d-Renderer Public

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

   C#

5. Combinator-Printer Combinator-Printer Public

   Print out combinators!

   Haskell 1

6. Slime-Defence-Pygame Slime-Defence-Pygame Public

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

   Python