Popular repositories Loading

1. MathemaGridsSolver MathemaGridsSolver Public

   Use of Z3 smt solver with Python api to solve the MathemasGrid puzzle

   Python 3

2. UPPAAL UPPAAL Public

   UPPAAL implementation of an Elevator

   TeX 3

3. REO REO Public

4. openldap-ansible-role openldap-ansible-role Public

   Forked from capitanh/openldap-ansible-role

   OpenLDAP Ansible role

5. script.xbmc.boblight script.xbmc.boblight Public

   Forked from wrtlprnft/script.xbmc.boblight

   XBMC addon for boblight

   Python

6. hassio-addons hassio-addons Public

   Forked from bradsjm/hassio-addons

   Home Assistant Add-ons

   Shell