Formal proof in Coq of Puiseux's Theorem.
Repository Index
47,133 repositories indexed
745–768 of 769 · Most stars
gateway for segmentation data to Rstats & visualization with ggplot2 - in development
- visualization
- fluorescence-data
- ggplot
This is a class module in beta state to implement computations with large integers and reals/rationals numbers, while proposing representation of numerical values as scientific notation, allowing to obtain several cohorts for the same number (a lot of fun!).
- arithmetic
- biginteger
- biginteger-library
- fractional
DeepAEG: A model for predicting cancer drug response based on data enhancement and edge-collaborative update strategies
legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm
- fmri-preprocessing
- fmri
A common interface used for modeling Mathematical Programs (e.g., Convex Optimization problems) in the language Go (Golang).
- convex-optimization
- linear-programming
- optimization
- quadratic-programming
Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
primes-utils rubygem
A Do-Whatever Matrix-Math class in Actionscript 3
A subset of numpy for Micropython
Distributed Simulation of Transport Networks
This is a weather app for the MacOSX menubar that the user can easily click to find the weather. Uses CSS based design and gets data from OpenWeatherMap.
Functions for the input/output and visualization of medical imaging data that follow either the ANALYZE, NIfTI or AFNI formats.
- nifti
- afni
- analyze
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Interpretable drug response prediction with graph neural networks over drugs, cell lines, and genes.
High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.
roots gem
a collection of small utlities useful for neuroimaging research
- utilities
Sunrise and sunset time computation for MicroPython
GNN-based gene-selection deep learning model for drug response prediction
ActionScript port of Hilbert curve from cortesi/scurve
Simulating Lorenz attractor on Golem.network
- simulation
- scipy
- lorenz-attractor