Repository Index

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

Quantum randomness source using the ANU hardware QRNG

• random-number-generators
• quantum-mechanics

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

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

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

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

• benchmark
• bioinformatics
• cheminformatics
• computational-chemistry

2d Vector for Haxe

• haxe
• vector
• geometry

Simple, reliable .NET libraries covering numbers, geometry and data structures

• collections
• geometry
• numerics
• csharp

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

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

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

Constructive Solid Geometry for Actionscript 3

Simple webapp for generating small ligand conformers

• computational-biology
• computational-chemistry
• conformer-generation
• rdkit

Histology Topography Cytometry Analysis Toolbox

Elixir library implementing complex numbers and math.