sabotack

Software Engineering @ AAU

Denmark

Pinned Repositories

Reveaal
A model checking engine for ECDAR (Environment for Compositional Design and Analysis of Real Time Systems) written in rust.
Language:Rust8 0 110
Ecdar-API
Project that defines the interface between a database and Reveaal
Language:Rust2 0 411
P1-Sustainable-Internet
Language:C5 2 00
minescript
A turtle graphics language in Minecraft.
Language:Java50
clown-finder-bot
hmm
Language:JavaScript00
NFOpt
NFOpt is a tool for optimizing network flows by formulating and solving several types of optimization problems as well as multicommodity flow routing.
Language:Python2 1 140
P2
Language:JavaScript9 3 191
sabotack
0 1 00
sajad
Personal website
Language:TypeScript0 1 20
t7-boiii-server-gsc
Language:GSC1 1 30

sabotack's Repositories

sabotack/P2
Language:JavaScript9 3 191
sabotack/NFOpt
NFOpt is a tool for optimizing network flows by formulating and solving several types of optimization problems as well as multicommodity flow routing.
Language:Python2 1 140
sabotack/t7-boiii-server-gsc
Language:GSC1 1 30
sabotack/clown-finder-bot
hmm
Language:JavaScript00
sabotack/sabotack
0 1 00
sabotack/sajad
Personal website
Language:TypeScript0 1 20