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.
wildpigspatiotemporalcompetition
:notebook: Variation in spatiotemporal activity may reduce competitive interactions between invasive wild pigs (Sus scrofa) and native mammal species
https://github.com/catavallejos/rmwreg
Accelerated failure times survival regression using Rate Mixtures of Weibull distributions
dynamic-positioning---offshore-wind
Analysis codes for "Enabling development of deep-water offshore wind power through dynamically positioned floating systems"
