Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Data quality estimations for OpenStreetMap
Accuracy and Completeness Estimate Tool for Point Cloud.
📝 A Rocq library written by members of PnV Discord Server
Solutions to some exercises from Walter Rudin's Functional Analysis
He Reiter, Ho Reiter, He Reiter, Immer weiter!
Reproducible phylogenomics pipeline that builds partitioned species trees from BUSCO v5 results.
VUTBR - FIT: TIN 2018/2019
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
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.
CLAM static analyzer for μDyn
An Algorithm is a sequence of steps to solve a problem.
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.
Software-platform audit and metadata-completeness analysis of every DataCite consortium-affiliated client (74 consortia · 4,337 clients · 125M DOIs · 11 detection tiers · population-level completeness over 118.9M DOIs). Paired with Habermann (2026) on community-driven metadata improvement.
Formalization of normal modal propositional logic in Lean 4 / Mathlib — soundness & completeness for all 16 logics in the modal cube, finite model property, and decidability. ~11k lines, fully sorry-free.
Complete guide for Installation of Arch Linux from scratch.
Notes for functional analysis
Add a description, image, and links to the completeness topic page so that developers can more easily learn about it.
To associate your repository with the completeness topic, visit your repo's landing page and select "manage topics."