Pinned Repositories
Chess
A 2D chess game as a school project.
dentist-schedule
design-pattern-examples
Design pattern examples from the book 'Head First Design Patterns '
eth-algdat-implementations
ETH Algorithms and Datastructures Implementations
ffmpeg-build-script
The FFmpeg build script provides an easy way to build a static FFmpeg on OSX and Linux with non-free codecs included.
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
lynix-api
lynix-client
Maturitaetsarbeit-KNN
Künstliches neuronales Netzwerk für die Maturitätsarbeit.
GTAV-Server
VaorraNET GTAV RageMP
koflin's Repositories
koflin/lynix-api
koflin/lynix-client
koflin/Chess
A 2D chess game as a school project.
koflin/dentist-schedule
koflin/design-pattern-examples
Design pattern examples from the book 'Head First Design Patterns '
koflin/eth-algdat-implementations
ETH Algorithms and Datastructures Implementations
koflin/ffmpeg-build-script
The FFmpeg build script provides an easy way to build a static FFmpeg on OSX and Linux with non-free codecs included.
koflin/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
koflin/Maturitaetsarbeit-KNN
Künstliches neuronales Netzwerk für die Maturitätsarbeit.
koflin/gobra-evaluation
Evaluation scripts for Gobra (https://github.com/viperproject/gobra/)
koflin/NeuronalesNetzwerk-Test
Test künstliches neuronales Netzwerk für die Maturitätsarbeit.
koflin/spotify-web-api-node
A Node.js wrapper for Spotify's Web API.
koflin/swot
Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.