barnslig/bachelor-thesis barnslig/bachelor-thesis

  • Stars
    star
    1
  • Language
    Jupyter Notebook
  • License
    MIT License
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
barnslig/bachelor-thesis
github

barnslig

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.

More Repositories

1

torture

FTP search based on Go! and ElasticSearch for the 31. Chaos Communication Congress
Go
17
star
2

jmap-proxy

RFC 8620 implementation (WIP)
PHP
9
star
3

oauth-account-manager

Something like Google Accounts to have central user accounts that other platforms or apps can use via oAuth 2. This is also called SSO.
Go
6
star
4

bayernCAPTCHA

bayernCAPTCHA checks whether you are a heimattreuer Bürger and not some left-wing fascist gender flower power ideologist.
JavaScript
6
star
5

rev42-recipe

A new hacker-"brause" with a lot of planning before we do the first mixings.
4
star
6

bilbo

Wiki software
Go
3
star
7

nextpad

EtherPad way betterâ„¢ becaus built from scratch with Python combined with Tornado, WebSocket-Magic and Patches.
JavaScript
3
star
8

finallyThereWasASolution

A Tool for automatic conjugation of french verbs and reconjugation to get the base form from a conjugation.
Python
3
star
9

maprenderer

A simple renderer for the openstreetmap.org XML-Mapfiles with Python and Cairo.
Python
2
star
10

foreveralonebook

A selfsocial network for those who wants to be alone. Made with flask and python.
Python
2
star
11

is-true

Returns true if the given value is true. Otherwise false.
JavaScript
2
star
12

fints4fun

Did you ever wanted to implement FinTS 3.0 aka HBCI?
Python
2
star
13

diversity-puzzle-trails

ABC Diversity Puzzle Trails
TypeScript
2
star
14

rev42-theme

The website theme for rev.42.
1
star
15

geheimtuer

JavaScript
1
star
16

text.

A collaborative online word processor based on XMPP
JavaScript
1
star
17

memedb

general purpose media database, useful for e.g. organizing your personal meme database
Go
1
star
18

Junge-Piraten-Theme

PHP
1
star
19

subnetdns

Python
1
star
20

jscommenter

JavaScript
1
star
21

tinymon

A simple monitoring suite based on python, sqlalchemy and bottle.
Python
1
star
22

zaklatott

A complete decentral groupchat system without any master server. zaklatott is hungarian for distracted.
Python
1
star
23

geheimdating

Omegle-Style text only Tinder application to unawkwardly connect with strangers on an event
JavaScript
1
star
24

p0ng

A simple singleplayer p0ng game for the r0ket badge from the chaos communication camp 2011
C
1
star