Formal proof in Coq of Puiseux's Theorem.
Repository Index
47,133 repositories indexed
337–346 of 346 · 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
Python library for statistical analysis of mRNA and protein distributions in fluorescent microscopy images
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
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.
Sunrise and sunset time computation for MicroPython