Pinned Loading

1. POLYSEM_1.0 POLYSEM_1.0 Public

   POLYSEM 1.0 is a programme for disambiguating spoken restrictive relatives and quoted vs unquoted expressions.

   Python 1

2. SAT-encoding SAT-encoding Public

   Project 1 for the 'SAT solving' course at the LMU.

   C++

3. SAT_2 SAT_2 Public

   Project 2 for the `SAT solving' course at the LMU.

   C++

4. SAT_3 SAT_3 Public

   Project 3 for the 'SAT solving' course at the LMU.

   C++ 1

5. Reversi Reversi Public

   The game 'Reversi' implemented in C (exercise in client-server communication, sockets, pipes, shared memory etc.)

   C 1

6. GSoD GSoD Public

   SciPy project (Google Season of Docs)

   TeX 2 1