The Z3 Theorem Prover
Repository Index
47,133 repositories indexed
1–22 of 22 · 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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
The Polygon Mesh Processing Library
- mesh-processing
- geometry-processing
- polygon-mesh
- triangle-mesh
QuadriFlow: A Scalable and Robust Method for Quadrangulation
- quadriflow
- quad
- remeshing
- quadrangulation
Throw in the towel.
- dotnet
- towel
- csharp
- library
The Point Processing Toolkit (pptk) is a Python package for visualizing and processing 2-d/3-d point clouds.
- pointclouds
- 3-d
- visualization
- lidar
open source software for bidimensional and tridimensional remeshing
- mesh
- mesh-adaptation
- anisotropic-mesh-adaptation
- isotropic-mesh-adaptation
A C++14-compatible physical units library with no dependencies and a single-file delivery option. Emphasis on safety, accessibility, performance, and developer experience.
- cpp
- cpp14
- cpp14-library
- dimensional-analysis
Encapsulate measurements and their units in Ruby and Ruby on Rails.
A C/C++ header file for fast 32-bit division remainders (and divisibility tests) on 64-bit hardware.
- performance
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
A python Two Source Energy Balance model for estimation of evapotranspiration with remote sensing data
- source-energy-balance
- canopy
- soil
- radiometric-temperatures
TranslatedAntifouling coating evidence panel: formulation sandbox, route biofouling stress, literature bounds. Simulation ≠ measurement. Live: https://simulator.jassyhong.top
- biofouling
- formulation
- antifouling
- evidence-panel
High-Dimensional Gene Expression and Morphology Profiles of Cells across 28,000 Genetic and Chemical Perturbations
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
A weather server supporting Campbell Scientific and Davis Instruments stations with lots of data-sharing options
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
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Formal proof in Coq of Puiseux's Theorem.