https://github.com/chobbes/coqplexity • Science 13%

Reasoning about complexity classes in Coq with Coquelicot

https://github.com/chobbes/bctfcs • Science 13%

Basic Category Theory for Computer Scientists in Coq

champsim • Science 44%

A working copy of ChampSim for CSCE614

uncertainty • Science 57%

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 • Science 49%

Project that collects all possible used IUPAC names in literature into a CCZero database.

StructuredLight • Science 44%

https://github.com/dbpedia/gstore • Science 26%

Git repo / triple store hybrid graph storage

cosy-draft • Science 44%

dynamically-gated-similarities • Science 67%

Code for Thesis: "Multi-Person Pose Tracking using Dynamically Gated Similarities"

yolov5 • Science 54%

https://github.com/cmendl/inhom-quantum-boltzmann-fourier-matlab • Science 10%

Spatially inhomogeneous matrix-valued quantum Boltzmann equation using Fourier transformation (Matlab implementation)

https://github.com/chadagreene/2021-cloud-hackathon • Science 10%

2021 NASA Cloud Hackathon co-hosted by PODAAC, NSIDC and LPDAAC, with support provided by ASDC, GESDISC, IMPACT and NASA Openscapes.

rwandan-flowsheet-digitizer • Science 44%

Digitizes an intraoperative flowsheet from the university teaching hospital in Kigali, Rwanda.

socal-warehouse • Science 44%

This repository contains codes used to perform data cleaning, analysis, and figure production for the Southern California Warehouse Project 2000-2019

ohif • Science 57%

qq-hahnecho • Science 54%

Analysis of Conformational Exchange Processes using Methyl-TROSY-Based Hahn Echo Measurements of Quadruple-Quantum Relaxation

interoperablelca-rem • Science 57%

Scripts and own generated data developed for the article: Miranda Xicotencatl, B., Kleijn, R., van Nielen, S., Donati, F., Sprecher B. & Tukker, A. (2023). Data implementation matters: Effect of software choice and LCI database evolution on a comparative LCA study of permanent magnets.

https://github.com/dbpedia/databus-derive • Science 26%

https://github.com/catarinaacsilva/gitlab • Science 13%

GitLab Scaling and High Availability

https://github.com/catavallejos/vallejosandsteel2017-ecosta-supp • Science 26%

R code used to produce the results shown in Vallejos and Steel (2017). Incorporating unobserved heterogeneity in Weibull survival models: A Bayesian approach. Econometrics and Statistics