Repository Index

Satellite prediction library for crystal using the sgp4 model

• sgp4
• crystal
• satellite
• satellite-prediction

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

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

mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance

• qa
• mri
• neuroimaging
• niqc

UV-first benchmark for protein-ligand docking with reproducible annotation, pocket similarity, and HPC workflows.

• benchmark
• bioinformatics
• cheminformatics
• computational-chemistry

A flexible Julia toolkit for high-dimensional cellular profiles

• julia
• morphological-analysis
• high-content-screening

An Elixir library for parsing and evaluating mathematical expressions

Generative models for transcriptomic-driven or protein-driven molecular design (PaccMann^RL).

• deep-reinforcement-learning
• generative-model
• vae
• molecule-generation

C++ modules for scalar, vector and complex math. And maths.

• cpp20
• math
• mathematics
• vectors

Utility library to pretty print physical values in proper metric units

• ada2012
• ada
• utility-library
• formatting-output

DetecDiv provides a comprehensive set of tools to analyze time microscopy images using deep learning methods. The software structure is such that data can be processed either at the command line or using a graphical user-interface. Detecdiv classification models include : image classification and regression, semantic segmentation, LSTM networks to analyze data and image timeseries.

Analysis of cell migration in Igor Pro

• igor
• imagej
• cell-migration
• tracking

Winner of the Golem Gitcoin Hackathon 2020 (https://blog.golemproject.net/meet-the-winners-golem-gitcoin-hackathon-2020/). This app lets people design, simulate, and analyse antenna arrays without the need to utilize commercial and expensive applications.

• golem

Interpretable modeling of cellular responses to drug perturbations using cycle consistence learning

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Vendor-agnostic, FHIR-Genomics-aligned API contract for cross-vendor NGS interpretation. JSON Schema + TypeScript + Python pydantic.

Formal proof in Coq of Puiseux's Theorem.

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

DeepAEG: A model for predicting cancer drug response based on data enhancement and edge-collaborative update strategies

legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm

• fmri-preprocessing
• fmri

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

Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images

primes-utils rubygem