A framework for high-performance domain decomposition methods.
- c-plus-plus
- linear-algebra
- python
- fortran
Repository Index
70,234 visible repositories in the index
49–71 of 71 · Most stars
The open suite for process plants. Historian, analytics, alarms, dashboards, models and documents, built to work with AI.
The source code for the Menge crowd simulation framework
A library of mechanised undecidability proofs in the Coq proof assistant.
ENIGMA HALFpipe is a user-friendly software that facilitates reproducible analysis of fMRI data
- neuroimaging
- reproducibility
- pipeline
- meta-analysis
Swift library like numpy, playgrounds notebook like jupyter.
- swift
- matrix
- linearalgebra
- playgrounds
:dart: Accurate sums and dot products for Python.
- mathematics
- numerical-methods
- engineering
- accuracy
TranslatedAntifouling coating evidence panel: formulation sandbox, route biofouling stress, literature bounds. Simulation ≠ measurement. Live: https://simulator.jassyhong.top
- biofouling
- formulation
- antifouling
- evidence-panel
A GDScript port of Delaunator: A fast library for Delaunay triangulation of 2D points.
- computational-geometry
- algorithm
- gdscript
- delaunay
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
Methods for Image-Based Cell Profiling
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
A metaheuristic optimization framework
- optimization
- optimization-algorithms
- optimization-methods
- genetic-algorithm
Single-cell fluorescence microscopy data analysis
- microscopy
- fluorescence-microscopy-imaging
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
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.
An effort to consolidate the needs and plans of individuals and organizations using Common Lisp to meet their numerical and scientific computing needs.
mrQA: tools for quality assurance in medical imaging datasets, including protocol compliance
- qa
- mri
- neuroimaging
- niqc
Quartz - A Crystal Modeling & Simulation framework
- quartz
- simulation
- modeling
- pdevs
Astronomical FITS image analysis tool for detecting asteroids, comets, satellites, moving objects, and transients in astrophotography data.
- astronomy
- astronomy-software
- astrophotography
- moving-object-detection
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.
Port of godot-math to D: vectors, matrices, rectangles, points, AABBs, planes, frustums.
- d
- dlang
- game-development
- godot-engine
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.