completeness
There are 16 repositories under completeness topic.
baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
GIScience/ohsome-quality-api
Data quality estimations for OpenStreetMap
scottvr/gtrsnipe
Guttersnipe - convert from MIDI to ASCII tab (and abc, vex, or back again)
weiquanmao/PCE
Accuracy and Completeness Estimate Tool for Point Cloud.
gitcordier/FunctionalAnalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
PnVDiscord/PnVRocqLib
📝 A Rocq library written by members of PnV Discord Server
KiJeong-Lim/DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
europ/VUTBR-FIT-TIN
VUTBR - FIT: TIN 2018/2019
niconm89/BUSCO2Tree
This pipeline helps to build a phylogenetic tree using the BUSCO results over a group of species/genomes/proteomes/transcriptomes.
KiJeong-Lim/Fol-archived
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
nlwmode/functional-completeness
functional completeness
Kecar2/Examen_Big_Data_Analisis_Clustering_Tweets
Big_Data_Analisis_Clustering_Tweets
kevinmveen/fupcompleteness
A function to easily calculate follow-up completeness in observational studies and trials
MukundTapaniya/Arch-Install
Complete guide for Installation of Arch Linux from scratch.
nitrece/algorithm-design
An Algorithm is a sequence of steps to solve a problem.
VincenzoArceri/clam
CLAM static analyzer for μDyn