Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.
- postgres
- postgresql
- python
- infectious-disease
Repository Index
47,133 repositories indexed
145–165 of 165 · Most stars
Crystal implementation of "K-Dimensional Tree" and "N-Nearest Neighbors"
- crystal
- k-dimensional
- data-structures
- tree-structure
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Quantum randomness source using the ANU hardware QRNG
- random-number-generators
- quantum-mechanics
Julia interface to quarto-cli
Quartz - A Crystal Modeling & Simulation framework
- quartz
- simulation
- modeling
- pdevs
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Realtime Weather and Earthquake alerts in Neovim
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
scPair: Boosting single cell multimodal analysis by leveraging single cell atlases and implicit feature selection
C++ modules for scalar, vector and complex math. And maths.
- cpp20
- math
- mathematics
- vectors
Analysis of cell migration in Igor Pro
- igor
- imagej
- cell-migration
- tracking
Elixir library implementing rational numbers and math.
Elixir library implementing complex numbers and math.
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Formal proof in Coq of Puiseux's Theorem.
DeepAEG: A model for predicting cancer drug response based on data enhancement and edge-collaborative update strategies
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming
This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.
Ask me anything!
- ama
- physics
- programming
- parent