Projects in Awesome Lists tagged with completeness
A curated list of projects in awesome lists tagged with completeness .
https://github.com/baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp
Last synced: 11 May 2025
https://github.com/giscience/ohsome-quality-api
Data quality estimations for OpenStreetMap
accuracy completeness data-quality heigit indicators ohsome openstreetmap openstreetmap-data osm osm-data reports
Last synced: 02 May 2025
https://github.com/gitcordier/functionalanalysis
Solutions to some exercises from Walter Rudin's Functional Analysis
banach-space compactness completeness convex convex-hull distributions exercises-solutions functional-analysis hyperplan linear-functions mathematics measures metric-spaces number-theory tex topology vector-spaces walter-rudin xelatex
Last synced: 12 Apr 2025
https://github.com/europ/vutbr-fit-tin
VUTBR - FIT: TIN 2018/2019
completeness complexity computer-science context-free decidability finite-state-automaton finite-state-machine fit formal-languages pushdown-automaton recursive recursively-enumerable reduction regular tin turing-machine vut vutbr
Last synced: 17 Feb 2025
