Giters
William Woldum (williamwoldum)

williamwoldum

Geek Repo

9

followers

6

following

8

stars

Github PK Tool:Github PK Tool

William Woldum's starred repositories

Ecdar-API

Project that defines the interface between a database and Reveaal

Language:RustLicense:MITStargazers:2Issues:0Issues:0

Reveaal

A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.

Language:RustStargazers:8Issues:0Issues:0

SudoEditor

Language:TypeScriptStargazers:1Issues:0Issues:0

pyinstaller-action-windows

Github Action for building executables with Pyinstaller

Language:ShellLicense:MITStargazers:164Issues:0Issues:0

homepage

A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.

Language:JavaScriptLicense:GPL-3.0Stargazers:17337Issues:0Issues:0

mailtolink

A quick and easy way to generate markup for mailto links without having to worry about the annoying formatting.

Language:SCSSLicense:MITStargazers:886Issues:0Issues:0

pynetgear

Python library to control Netgear wireless routers through the SOAP-api.

Language:PythonLicense:MITStargazers:235Issues:0Issues:0

Astro

P2 Project for AAU

Language:JavaScriptLicense:MITStargazers:7Issues:0Issues:0