Pinned Loading

1. fyp fyp Public

   Final year project

   Agda 14 1

2. TT TT Public

   Agda 4

3. agda/agda agda/agda Public

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

   Haskell 2.8k 410

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