Repositories Users Organizations
Filter
Sort
zenon/ formal-methods-proverif
TeX 0 0
Proverif project for Formal Methods for Security and Privacy
Updated 2025-11-24 12:36:12 +01:00
zenon/ formal-methods-fstar
F* 0 0
F* project for Formal Methods for Security and Privacy
Updated 2025-11-24 12:36:09 +01:00
zenon/ netsec-lab
Python 0 0
Lab part for Network Security at TU Wien in 2021SS
Updated 2025-11-16 02:25:22 +01:00
zenon/ feedback-arc-set
C 0 0
An algorithm which removes cycles in a directed graph by removing the least amount of edges possible
Updated 2025-11-15 22:08:56 +01:00
zenon/ battleship
C 0 0
A client-server implementation of the game battleship
Updated 2025-11-15 11:59:26 +01:00
zenon/ myexpand
C 0 0
Simplified version of the linux expand command
Updated 2025-11-12 17:55:50 +01:00
zenon/ websh
C 0 0
A program to format output for the web
Updated 2025-11-12 17:55:49 +01:00
zenon/ sxiv
C 0 0
Personalized fork of the simple X image viewer
Updated 2025-11-12 17:55:48 +01:00
zenon/ st
C 0 0
Updated 2025-11-12 17:55:45 +01:00
zenon/ participatory-budgeting
TeX 0 0
A Survey of Participatory Budgeting Algorithms and Methods
Updated 2025-11-12 13:19:41 +01:00
zenon/ digital-forensics-ram
TeX 0 0
Repository for the RAM assignment for Digital Forensics course at TU Wien in WS2021.
Updated 2025-11-12 13:19:37 +01:00
zenon/ beyond-uninvited-guests
TeX 0 0
Gruppenarbeit für Denkweisen der Informatik (187.B12) 2018WS
Updated 2025-11-12 13:19:35 +01:00
zenon/ formal-methods-minniethor
TeX 0 0
MinnieThor project for Formal Methods for Security and Privacy
Updated 2025-11-12 13:19:28 +01:00
zenon/ dwmblocks
C 0 0
A customized fork of Luke Smith's dwmblocks build
Updated 2025-02-28 23:15:46 +01:00
zenon/ web-application-engineering
TypeScript 0 0
A twitter bot which retweets news subscribed to via RSS
Updated 2025-02-27 18:14:04 +01:00
zenon/ tiss2go
Ruby 0 0
Ruby on Rails project for implementing a TISS crawler intended for mobile use
Updated 2025-02-27 18:14:00 +01:00
zenon/ distributed-systems-technologies
Java 0 0
Repository for Distributed Systems Technologies course at TU Wien for 2021SS
Updated 2025-02-27 18:13:58 +01:00
zenon/ dse-assignment
Python 0 0
Project for Distributed Systems Engineering at TU Wien in 2021SS
Updated 2025-02-27 18:13:57 +01:00
zenon/ digital-forensics-truecrypt
TeX 0 0
Repository for the Truecrypt assignment for Digital Forensics course at TU Wien in WS2021
Updated 2025-02-27 18:13:55 +01:00
zenon/ similarity-modeling-abstracts
TeX 0 0
Abstracts of the lecture content for the course Similarity Modeling at TU Wien in WS2021.
Updated 2025-02-27 18:13:54 +01:00