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
He Reiter, Ho Reiter, He Reiter, Immer weiter!
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.
VUTBR - FIT: TIN 2018/2019
Reproducible phylogenomics pipeline that builds partitioned species trees from BUSCO v5 results.
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.
Fast, efficient, and versatile data preprocessing and reshaping with C++, OpenMP & SIMD
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.
Completeness & currency data quality profiling of OS NGD Buildings (Inverness sample)
A function to easily calculate follow-up completeness in observational studies and trials
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."