a simple vector library for Lua based on the PVector class from processing
- lua
- love2d
- vectors
- game-development
Repository Index
47,133 repositories indexed
145–168 of 183 · Most stars
common lisp library providing common math functions used in games
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
Tiny header-only C++17 library for lat/lng geometry: distance, bearing, area, point-in-polygon and path proximity
An extensible .NET genetic algorithm library for optimization and artificial intelligence - Evolutionary computation and complex problem solving made simple
- artificial-intelligence
- csharp
- dotnet
- evolutionary-algorithm
Methods for Image-Based Cell Profiling
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
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
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
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]
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.
ODE system solver made simple. For IVPs (initial value problems).
- runge-kutta-fehlberg
- runge-kutta
- simulation
- ode-solver
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