Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
A foundation model-driven whole slide image-scale cell phenotyping method with QuPath integration Resources
- bioimage-analysis
- cell-classification
- computer-vision
- digital-pathology
📐✏️ Slides from my talk on Mathematics of Animation @ .concat() 2018
Deciphering cell-cell communication from spatially resolved transcriptomic data at single-cell resolution with subgraph-based attentional graph neural network
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
DE-9IM spatial predicate library implemented in Javascript.
- de-9im
- spatial
- predicates
- javascript
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.
Realtime Weather and Earthquake alerts in Neovim
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.
Winner of the Golem Gitcoin Hackathon 2020 (https://blog.golemproject.net/meet-the-winners-golem-gitcoin-hackathon-2020/). This app lets people design, simulate, and analyse antenna arrays without the need to utilize commercial and expensive applications.
- golem
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
Histology Topography Cytometry Analysis Toolbox
High performance, zero-allocation, low memory usage (8 bytes), low precision (17 digits), partially compatible with int64 and shopspring Decimal