Explore projects
-
Updated
-
-
-
scc-net / ansible-git-status
BSD 2-Clause "Simplified" LicenseA callback to check git status before playbook run.
Archived 0Updated -
-
scc-net / pyRadtest
BSD 2-Clause "Simplified" LicenseArchived 0Updated -
scc-net / Pydhcplib3
GNU General Public License v3.0 onlypython3 port-ish of pydhcplib library, for use in ODR
Updated -
scc-net / flooder
MIT LicenseUpdated -
Archived 0Updated
-
scc-net / SNMProxyAPI-python
MIT LicenseArchived 0Updated -
Updated
-
Updated
-
scc-net / rapvs
MIT LicenseUpdated -
scc-net / ldapmanager
MIT LicenseUpdated -
KIT / IAI / ML4HOME / Grid Screener
GNU Affero General Public License v3.0Updated -
Updated
-
Updated
-
Tools for combining KeY with Joana.
Updated