47,133 repositories indexed
1–16 of 16 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Math.NET Numerics
A .NET GIS solution that is fast and reliable for the .NET platform.
WeeWX code repository
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki
DiffSharp: Differentiable Functional Programming
A Euclidean diffusion model for structure-based drug design.
Math.NET Symbolics
formally verified category theory library
A library of mechanised undecidability proofs in the Coq proof assistant.
SIMD enhanced Array operations
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Fast detection of repackaged Android applications based on the comparison of resource files included into the package.
legacy signal processing leveraging afni, ants, fsl, nipy, robex, and wavelet toolbox - brnfswdktm
Mutta Puffs is a sports league scheduler automated on thousands of computers from decentralized market of computational power in Golem.