fynnh
Follow
-
COVA Public
Forked from secure-software-engineering/COVACOVA - A static analysis tool to compute path conditions
-
-
-
-
-
OpenC2X-standalone Public
Forked from florianklingler/OpenC2X-standaloneOpen Source Experimental and Prototyping Platform Supporting ETSI ITS-G5
C++ GNU Lesser General Public License v3.0 UpdatedSep 4, 2018 -
-
-
-
-
-
deb-builder-bintray Public
Forked from zlig/deb-builder-bintrayBuild Debian .deb packages builder tool (using Travis) and upload to Bintray
Shell GNU Lesser General Public License v2.1 UpdatedJul 18, 2018 -
openwrt Public
Forked from openwrt/openwrtThis repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests…
C GNU General Public License v2.0 UpdatedApr 30, 2018 -
-
-
kernel-ci Public
Forked from sammcj/kernel-ciContinuous integration for the Linux Kernel - Built within Docker
Shell Apache License 2.0 UpdatedApr 6, 2018 -
-
-