Pinned Repositories
VUT-FIT-Projekty
Projekty z VUT FIT, xhudak03
BIN_public
Solution of project in subject Biology Inspired Computers (BIN) at BUT FIT
BIS
Projekt v předmětu bezpečnost informačních systémů
DaveHudiny
Config files for my GitHub profile.
EVO
EVO project
FLP_1
FLP -- first project (Haskell, knapsack problem)
FLP_Prolog
Solution of FLP (functional and logical programming) Prolog project.
KRY_2
Solution of second cryptography (KRY) project at BUT FIT.
PRL
PRL project solution
SAV
Static Analysis and Verification project at BUT FIT.
DaveHudiny's Repositories
DaveHudiny/synthesis
DaveHudiny/SUR_public
Solution of SUR (Machine Learning and Recognition) team project.
DaveHudiny/FLP_Prolog
Solution of FLP (functional and logical programming) Prolog project.
DaveHudiny/BIN_public
Solution of project in subject Biology Inspired Computers (BIN) at BUT FIT
DaveHudiny/FLP_1
FLP -- first project (Haskell, knapsack problem)
DaveHudiny/PRL
PRL project solution
DaveHudiny/KRY_2
Solution of second cryptography (KRY) project at BUT FIT.
DaveHudiny/BIS
Projekt v předmětu bezpečnost informačních systémů
DaveHudiny/SAV
Static Analysis and Verification project at BUT FIT.
DaveHudiny/DaveHudiny
Config files for my GitHub profile.
DaveHudiny/EVO
EVO project
DaveHudiny/SFC
Backpropagation example
DaveHudiny/VUT-FIT-Projekty
Projekty z VUT FIT, xhudak03
DaveHudiny/Strategist-VeriNet-extension-BUT-FIT
The repository contains an implemented extension for the VeriNet toolkit (see https://github.com/vas-group-imperial/VeriNet-OpenSource), experimentally obtained results and auxiliary scripts for working with the toolkit and data from it.