Pinned Loading

1. tla_guidelines tla_guidelines Public

   A repository that contains files relevant to my master's thesis on TLA+ specification writing guidelines for state space reduction.

   TLA 2 1

2. T-aut/adventure-of-a-lifetime T-aut/adventure-of-a-lifetime Public

   A unity 2d top-down game project

   C# 1

3. GolayCodePython GolayCodePython Public

   A Golay Code encoding and decoding method implementation with Python. The tkinter library is used for the GUI.

   Python

4. WinPixel WinPixel Public

   A 24x24 Pixel Art editor made with Windows API.

   C++ 1

5. mrjslau/TOP2018 mrjslau/TOP2018 Public

   C# project for Applied Object-Oriented Programming course

   C# 1