Image restoration for fluorescence microscopy
Repository Index
47,133 repositories indexed
25–47 of 47 · Most stars
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
Solve automatic numerical differentiation problems in one or more variables.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Converts medical images to more displayable formats, e.g. NIfTI to jpg.
Dlang Core Library
- ndslice
- iterator
- range
- algorithms
MAT is library for working with multi-dimensional arrays which supports efficient interfacing to foreign and CUDA code. BLAS and CUBLAS bindings are available.
Run scripts, explore your genome, and get personalized explanations — all in natural dialogue.
- analysis
- claude
- claudecode
- dna
Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.
- minerva
- microscopy
- ome
- immunofluorescence
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
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
The d-SEAMS C++ core engine
- molecular-dynamics-simulation
- molecular-dynamics
- trajectory-analysis
- lua
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Single-cell fluorescence microscopy data analysis
- microscopy
- fluorescence-microscopy-imaging
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
Simple, reliable .NET libraries covering numbers, geometry and data structures
- collections
- geometry
- numerics
- csharp
A Darksky.net (formerly forecast.io) weather API client for Elixir
- darksky
- forecast
- elixir
- weather
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Formal proof in Coq of Puiseux's Theorem.
gateway for segmentation data to Rstats & visualization with ggplot2 - in development
- visualization
- fluorescence-data
- ggplot
Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images
Simulating Lorenz attractor on Golem.network
- simulation
- scipy
- lorenz-attractor