completeness
Here are 16 public repositories matching this topic...
Sort:Most stars
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
- Updated
Sep 24, 2023
Data quality estimations for OpenStreetMap
- Updated
Mar 19, 2025 - Python
Accuracy and Completeness Estimate Tool for Point Cloud.
- Updated
Apr 4, 2018 - C++
Solutions to some exercises from Walter Rudin's Functional Analysis
- Updated
Jan 21, 2025 - TeX
He Reiter, Ho Reiter, He Reiter, Immer weiter!
- Updated
Mar 1, 2024 - Coq
A Coq library written by members of PnV Discord Server
- Updated
Mar 12, 2025 - Coq
This pipeline helps to build a phylogenetic tree using the BUSCO results over a group of species/genomes/proteomes/transcriptomes.
- Updated
Oct 27, 2023 - Python
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
- Updated
Feb 9, 2025 - Coq
Big_Data_Analisis_Clustering_Tweets
- Updated
Aug 2, 2023 - Jupyter Notebook
Guttersnipe (gtrsnipe)
- Updated
Jan 7, 2025 - Python
A function to easily calculate follow-up completeness in observational studies and trials
- Updated
Aug 19, 2024 - R
CLAM static analyzer for μDyn
- Updated
Feb 8, 2021 - Java
An Algorithm is a sequence of steps to solve a problem.
- Updated
Dec 11, 2020
Complete guide for Installation of Arch Linux from scratch.
- Updated
Nov 17, 2024
Improve this page
Add a description, image, and links to thecompleteness topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecompleteness topic, visit your repo's landing page and select "manage topics."