David Bunker's repositories
Double-Tetris
Two player Tetris game where players are connected over the web
ArchStatMzn
Performs static analysis on C functions to confirm equivalency using MiniZinc
MznResolver
Resolves SABR program using MiniZinc
configuration-ooasp-dbunker
OOASP Implementation
Language:Answer Set ProgrammingMIT000
dbunker.github.io
Blog https://www.dbunker.io
Flask-Gasket
Flask extension for building REST APIs with NoSQL databases
Flask-Tread
Library for Flask route input and output validation, authentication and transformation
pprm_german
Implementation of the PPRM algorithm applied to German phone pairs