A metaheuristic optimization framework
- optimization
- optimization-algorithms
- optimization-methods
- genetic-algorithm
Repository Index
63,269 visible repositories in the index
49–57 of 57 · Most stars
Accurate segmentation of bacterial microscope images using deep learning synthetically generated image data.
- microscopy
- image-processing
- segmentation
- biology
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
Hand-ported (near 1:1) V version of https://github.com/mapbox/earcut
A simple ffi-accelerated vector library for everyone with support for z-axis
Metric stream related math functions.
Accelerated similarity searching of small molecules (bioconductor package)
Distributed Simulation of Transport Networks
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.