Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
This repository contains the Python scripts used for my Bachelor Thesis on Fuzzing Zigbee
-
Grammatical inference using the Z3 SMT solver
-
Grammatical inference using the Z3 SMT solver
-
Grammatical inference using the Z3 SMT solver
-
A decentralized, fault tolerant and web-friendly file system based on torrents
-
Windows subsystem for Linux app bundle installation script - debian
-
I have given several workshops on how to use Git at the Radboud University, here are my resources for that
-
Part of btcd
-
... test wiki
-
Tweeting pictures as unicode text
-
-
-
Part of btcd
-
-
Scripts for generating offline or self-hosted slippy maps.
-
-
-
článek - markdown verze (czech)
-
Guide for installation of VNWA on linux.
-
Helper script to manage VNC servers on a cluster.