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.
https://github.com/dbpedia/gstore
Git repo / triple store hybrid graph storage
dynamically-gated-similarities
Code for Thesis: "Multi-Person Pose Tracking using Dynamically Gated Similarities"
https://github.com/cmendl/inhom-quantum-boltzmann-fourier-matlab
Spatially inhomogeneous matrix-valued quantum Boltzmann equation using Fourier transformation (Matlab implementation)
https://github.com/chadagreene/2021-cloud-hackathon
2021 NASA Cloud Hackathon co-hosted by PODAAC, NSIDC and LPDAAC, with support provided by ASDC, GESDISC, IMPACT and NASA Openscapes.
rwandan-flowsheet-digitizer
Digitizes an intraoperative flowsheet from the university teaching hospital in Kigali, Rwanda.
socal-warehouse
This repository contains codes used to perform data cleaning, analysis, and figure production for the Southern California Warehouse Project 2000-2019
