-
University of Amsterdam
- Amsterdam
-
Symbolic-Gossip Public
Symbolic Model Checker for the Gossip Problem
-
KRR-course-2021 Public
Forked from rdehaan/KRR-course-2021Materials for 2021 edition of the course 'Knowledge Representation and Reasoning'
Jupyter Notebook MIT License UpdatedJun 17, 2021 -
-
tribler Public
Forked from Tribler/triblerPrivacy with BitTorrent and resilient to shut down
Python UpdatedOct 18, 2016 -
blockchain-graph-algorithm Public
This repository contains work on algorithmic problems regarding the Tribler blockchain interaction graph.
Java GNU Lesser General Public License v2.1 UpdatedMar 24, 2016 -
gumby Public
Forked from Tribler/gumbyExperiment runner framework for Dispersy and Tribler
Python UpdatedMar 6, 2016 -
-
sem-group-4 Public
A Java clone of Bubble Trouble made by Group 4 for the course Software Engineering Methods 2015-2016, as part of the bachelor Computer Science at the Delft University of Technology
Java UpdatedDec 6, 2015