Popular repositories Loading

1. discord-votebot discord-votebot Public

   Python 1

2. tilics-admin tilics-admin Public

   Forked from unibas-tilics/tilics-admin

   Rules / Guidelines / Administrative information regarding the tilics-seminar

3. DrNim DrNim Public

   Idea based on http://www.inf.ufsc.br/~joao.dovicchi/pos-ed/pos/games/

   Java

4. GammaAlgo GammaAlgo Public

   Python implementation of the Gamma-Algorithm. Calculates the dual cone of a given cone. Based on the paper 'Obtaining simultaneous solutions of linear subsystems of inequalities and duals' by E.Cas…

   Python

5. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML

6. downward downward Public

   Forked from aibasel/downward

   The Fast Downward domain-independent classical planning system

   C++