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 1

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. grc-collection grc-collection Public

   Raka's gnuradio companion flowgraph collection

   Python 1

4. 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

5. rakagami.github.io rakagami.github.io Public

   SCSS

6. binary-editor binary-editor Public

   C++