Explore projects
-
Martin Thaler / scripts
GNU General Public License v3.0 onlyin shell-hell and python... mostly system development/architecture code
Updated -
Alexander Christoph Bihlmaier / scripts
GNU General Public License v3.0 onlyin shell-hell and python... mostly system development/architecture code
Updated -
Scripts to automatically process GNSS data from http://data.permasense.ch using RTKLIB: An Open Source Program Package for GNSS Positioning.
Updated -
Updated
-
Updated
-
geometrie-vermessung / Rational Linkages
GNU General Public License v3.0 or laterUpdated -
-
This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.
Updated -
This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.
Updated -
Johannes Mario Hammerer / Python Sharelatex
GNU General Public License v3.0 onlyUpdated -
Jakob Johannes Hollenstein / Python Sharelatex
GNU General Public License v3.0 onlyUpdated -
This solves colorable maps like e.g in the bonus exercise of Week 04 (SS2023) in PS Logic.
Updated