https://github.com/caffeine-addictt/worldskills-training
Worldskills Training Project
https://github.com/cedrickchee/capsule-net-pytorch
[NO MAINTENANCE INTENDED] A PyTorch implementation of CapsNet architecture in the NIPS 2017 paper "Dynamic Routing Between Capsules".
tempesta-redsted
The Tempesta (github.com/TestaLab/Tempesta) version used for the RedSTED, in the TestaLab @SciLifeLab.
mcc_him8_cnn
An algorithm to identify/classify marine clouds as either Open Mesoscale Cellular Convection (Open-MCC), Closed-MCC, or neither from Himawari-8 observations using a hybrid convolutional neural network.
https://github.com/chobbes/coqplexity
Reasoning about complexity classes in Coq with Coquelicot
https://github.com/chobbes/bctfcs
Basic Category Theory for Computer Scientists in Coq
uncertainty
Uncertainty in measurement time of a system's input can lead to a misinterpretation of a system's response. Applying this in space physics, leads to an explanation of the polar-cap potential saturation as merely being a perception caused by uncertainty in solar wind measurements.
https://github.com/blueobelisk/iupac-names
Project that collects all possible used IUPAC names in literature into a CCZero database.
dynamically-gated-similarities
Code for Thesis: "Multi-Person Pose Tracking using Dynamically Gated Similarities"