Pinned

1. sm1-site sm1-site Public

   The project site for Spot Market Team 1 made as part of the COMP204P/COMP205P Systems Engineering module for UCL Computer Science

   CSS 1

2. java-constant-folding java-constant-folding Public

   Forked from ScenarioWeekTeam/java-constant-folding

   An optimiser for Java that implements a constant folding peephole optimisation.

   Java

3. prop-logic-c prop-logic-c Public

   A propositional logic theorem prover implemented in C for the COMP202P Computer Science module

   C

4. parser parser Public

   Forked from ScenarioWeekTeam/parser

   A parser created as part of UCL CS COMP207P

   Java

5. haskell-linear-algebra haskell-linear-algebra Public

   A basic set of linear algebra functions implemented in Haskell

   Haskell

6. prog-miranda prog-miranda Public

   My answers to the exercises in 'Programming with Miranda'

   M 1