Repository Index

NASA/JPL SPICE Toolkit for C – patched for cross-platform compatibility

• astronomy
• astronomical-algorithms
• celestial-mechanics
• nasa

Partial Commutative Monoids

• partial-commutative-monoid
• separation-logic
• coq
• coq-library

Multi-platform quantum programming library, written in TypeScript, good for JS/NodeJS

• quantum-computing
• quantum-programming-language
• quantum

Deciphering cell-cell communication from spatially resolved transcriptomic data at single-cell resolution with subgraph-based attentional graph neural network

Numpy like array object for common lisp

Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.

Fast, deterministic cell-type deconvolution for million-bin spatial transcriptomics

• bioinformatics
• cell-type-deconvolution
• computational-biology
• deconvolution

Java Scientific Computing Library - Signal Processing, FFT, Filters, PSD, DCT, SciPy-like APIs for JVM & Android used in Machine Learning and Data Science.

• android
• java
• python
• scipy

Computer Algebra for microcontrollers using https://github.com/micropython/micropython

Workbench for practical machine learning in Ruby.

• machine-learning
• machine-learning-algorithms
• neural-network
• neural-networks

Lisp Linear Algebra

• common-lisp
• linear-algebra

An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.

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

Hand-ported (near 1:1) V version of https://github.com/mapbox/earcut

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

Node-RED nodes for The Weather Company and Weather Underground Personal Weather Station APIs

vala and scientific numerical computation

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

• cpp20
• math
• mathematics
• vectors

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.

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

A tiny easy math include addition multiplication subtraction division.

• math
• math-library
• mathematics
• true-math

Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.

• astronomy
• astronomy-software
• astrophotography
• moving-object-detection