Repository Index

Efficient and expressive arrayed vector math library with multi-threading and CUDA support in Common Lisp.

Deep learning model for single-cell inference of multi-omic profiles from a single input modality.

• single-cell
• scrna-seq
• scatac-seq
• deep-neural-networks

A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.

• equation-systems
• mathematical-expression-parser
• mathematical-expressions-evaluator
• determinant-calculation

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

MCP server for spatial transcriptomics analysis through natural language interfaces.

• bioinformatics
• cell-communication
• deconvolution
• machine-learning

An arbitrary-precision decimal floating-point arithmetic package for Go

• decimal
• arbitrary-precision
• floating-point
• go

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Portability Environment for Fortran poor people

• fortran
• codes-portability
• precision

Predicting Cell Health with Morphological Profiles

• carpenter-lab
• morphological-profiling
• crispr
• cell-painting

Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.

• alphafold3
• docking
• drug-design
• drug-discovery

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagation.

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

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]

DE-9IM spatial predicate library implemented in Javascript.

• de-9im
• spatial
• predicates
• javascript

Pascal library for arbitrary precision BCD floating point numbers

• pascal
• arbitrary-precision
• math
• bignumber

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

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

PyTorch implementation of "TGSA: Protein-Protein Association-Based Twin Graph Neural Networks for Drug Response Prediction with Similarity Augmentation"

Accurate segmentation of bacterial microscope images using deep learning synthetically generated image data.

• microscopy
• image-processing
• segmentation
• biology

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

ODE system solver made simple. For IVPs (initial value problems).

• runge-kutta-fehlberg
• runge-kutta
• simulation
• ode-solver

Workbench for practical machine learning in Ruby.

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