Popular repositories Loading

1. DPLL-Python DPLL-Python Public

   Basic DPLL implementation in Python. Guidelines for the implementation is taken out if Discrete Structures script from TU Munich.

   Python 2

2. toggl-gitlab-crosstracker toggl-gitlab-crosstracker Public

   A Timetracker which tracks time using toggl and enters the tracked time into a gitlab issue

   Python 1

3. javaSatSolver javaSatSolver Public

   The most basic Java SAT-Solver imaginable. Parses a String as a Boolean formula then computes all the interpretations to that formula.

   Java

4. rakagami.github.io rakagami.github.io Public

   SCSS

5. binary-editor binary-editor Public

   C++

6. the-one_mapconverter the-one_mapconverter Public

   Utility tool to create custom maps for The ONE simulator. It converts a svg into a wkt

   Python