Popular repositories

1. agda-writer Public

   A simple GUI for Agda

   Objective-C 31 2

2. gas-prices Public

   Python 7 2

3. escape-room-ue4 Public

   Escape Room done in Unreal Engine 4

   C++ 2 3

4. snakes Public

   Forked from andrejbauer/snakes

   A tutorial on how to use Git (in Slovene).

   Python

5. zapiski-magistrska Public

   TeX 1

6. Hypergeometric-solutions Public

   Solves the hypergeometric solutions of first-order linear systems with rational coefficients

   Mathematica