Pinned Loading

1. TT TT Public

   Mechanised metatheory experiments

   Agda 5

2. fyp fyp Public

   Final year project

   Agda 14 1

3. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell 1

4. Combinator-Printer Combinator-Printer Public

   Print out combinators!

   Haskell 1

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

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

   C#

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

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

   Python