Pinned

1. RustTyC Public

   An interface for writing a RustTypeChecker.

   Rust 27 2

2. Thesis-Template Public

   Forked from aweinert/thesis-template

   The skeleton of the tex files used for writing my PhD thesis.

   TeX 13 1

3. CSKey Public

   The perfect keyboard layout for all computer scientists.

   Python 1 2

4. reactive-systems/RTLola-Frontend Public

   Rust 1 1

5. Tak Public

   Simulator and AI for the Tak strategy game by James Ernest and Patrick Rothfuss

   Scala

6. TinBots Public

   Software for TinBots rescuing s helpless fellow robot

   C 1