Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Data quality estimations for OpenStreetMap
📝 A Rocq library written by members of PnV Discord Server
Accuracy and Completeness Estimate Tool for Point Cloud.
Solutions to some exercises from Walter Rudin's Functional Analysis
Lean 4 formalization of TM, a bimodal logic of tense and modality over task semantics: machine-checked soundness, completeness, compactness, and a tableau decision procedure.
He Reiter, Ho Reiter, He Reiter, Immer weiter!
VUTBR - FIT: TIN 2018/2019
Reproducible phylogenomics pipeline that builds partitioned species trees from BUSCO v5 results.
Fast, efficient, and versatile data preprocessing and reshaping with C++, OpenMP & SIMD
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
boil-the-ocean — don't ship 80% when the lake is finishable. A 5-question completeness gate with lake/ocean discriminator, anti-triggers, and Einstein's razor. Spec-compliant per agentskills.io.
Unofficial, beta. Two coverage measurements over California's public wildfire datasets, published as counts: FRAP's historical fire perimeters and CAL FIRE's DINS damage inspections. Each operationalizes a limitation the publisher already states, so a code meaning unknown is never counted as a recorded value.
A function to easily calculate follow-up completeness in observational studies and trials
Completeness & currency data quality profiling of OS NGD Buildings (Inverness sample)
Big_Data_Analisis_Clustering_Tweets
This is a debugging tool that tests your C#/Unity/Dotnet project against my philosophy - a test of completeness and quality in regards to whether or not your script flows without plot holes, broken props, and forgetful understudies.
An Algorithm is a sequence of steps to solve a problem.
A model that checks if a set is complete.
To associate your repository with the completeness topic, visit your repo's landing page and select "manage topics."