Type-safe dependency injection singleton wrapper with lazy init and generic constructor support
- activator
- dependency-injection
- instantiation
- lazy-loading
Repository Index
65,264 visible repositories in the index
25–33 of 33 · Most stars
A library of mechanised undecidability proofs in the Coq proof assistant.
A tool for cell instance aware segmentation in densely packed 3D volumetric images
- segmentation
- deep-learning
- bioinformatics
- neural-network
Tiny header-only C++17 library for lat/lng geometry: distance, bearing, area, point-in-polygon and path proximity
- cpp
- geometry
- geospatial
- gis
CancerFoundation: A single-cell RNA sequencing foundation model to decipher drug resistance in cancer
- cancer
- foundation-model
- single-cell
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]
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
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output