Pinned Loading

1. Discotheque Discotheque Public

   A tool for theorem discovery. Disco(ver) the(orems using) que(ries).

   Scala

2. LatteC LatteC Public

   A compiler of a fairly simple Turing complete Java-like language to LLVM.

   Scala 1 1

3. IdLearn IdLearn Public

   An algorithmic idle game which you can play. A successful collaborative project with a GUI. Take a look!

   Java 4 1

4. InstantC InstantC Public

   A compiler of a very simple language (not even Turing complete) to JVM and LLVM, in preparation for LatteC.

   Scala 1

5. DirectX DirectX Public

   C++

6. Concurrent-filesystem Concurrent-filesystem Public

   The second project for the Concurrent Programming course in the winter semester of the 2021/22 academic year at the University of Warsaw.

   C 1