Suzana Božanić's repositories
Language:OCaml000
limboole
Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.
Language:CNOASSERTION000
oeaw_ai_summer_school
Introduction to Machine Learning and Neural Networks, including NNs, CNNs, RNNs, AE, VAE, and GAN
000