selebrator Goto Github PK

bachelor

The code I wrote for my bachelor's thesis on Petri net reachability

canboat

CAN Boat provides NMEA 2000 and NMEA 0183 utilities. It contains a NMEA 2000 PGN decoder, can read and write N2K messages.

colorunfolder

Tool for caclulating finite complete prefixes of high-level (colored) Petri nets

commandalias

The source for an easy to setup, lightweight plugin of command of command aliases.

complexplane

customlogging

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

discord-adapter-bitbucket

Translate Bitbucket Webhook output to Discord Webhook input

evtc

Analysis and management of Guild Wars 2 EVTC logs from arcdps.

evtcinfo

File preview for arcdps logs

fabric-example-mod

Example Fabric mod

framework

The general framework for the tool Adam (AdamMC and AdamSYNT) providing, e.g., data structures for automata, circuits, and Petri nets with transits. Contain the packages: tools, petrinetWithTransits. Depends on the repos: libs, examples.

lootcave

Distribute lootable containers

multilevelwhitelist

musicplayer

DJ for https://ansoria.de/

npc

omp-ha-2019

Lösungen zu den Übungsaufgaben aus der Vorlesung Objektorientierte Modellierungund Programmierung (inf031) im Sommersemester 2019 an der Carl von Ossietzky Universität Oldenburg

orehighlighter

partyarmor

Bukkit plugin that makes leather armor have all colors of the rainbow

passwordgroup

synthesizer

The framework for the synthesis of distributed systems modeled with Petri games with transits. Contains the packages: petrigames, bddapproach, mtbddapproach. Depends on the repos: libs, framework.