Repository Index

Real-time multi-physics simulation with an emphasis on medical simulation.

• real-time
• simulation
• medical
• physics

⚡High Performance DICOM Medical Image Parser in Go.

• dicom
• dicom-images
• golang
• golang-library

Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support

• embedded-optimization
• nonconvex
• model-predictive-control
• rust-library

Prov-GigaPath: A whole-slide foundation model for digital pathology from real-world data

A Python package for molecular docking with an extensive, highly-curated dataset and a set of realistic benchmark tasks for drug discovery.

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

• coq-library
• real-number
• coq
• coq-ci

A Julia GraphQL client for seamless integration with a server

Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.

• astrophotography
• astronomy
• ephem
• flask

Data logistics system enabling real-time pathogen surveillance. Built for the Seattle Flu Study.

• postgres
• postgresql
• python
• infectious-disease

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

• editor
• neovim
• neovim-plugin
• plugin

This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).

• arithmetic
• biginteger
• biginteger-library
• fractional