Independent researcher. Designer of Capa, a capability-typed language with Agda-verified soundness.
-
ISLA Santarém - Instituto Politécnico
- Portugal
-
01:57
(UTC -12:00) - in/nelson-duarte-1820852a
- https://orcid.org/0000-0001-6650-0778
- https://www.cienciavitae.pt/pt/7210-2FF8-CA41
Pinned Loading
-
capa-language
capa-language PublicA capability-centric programming language. Hand-written compiler in Python.
Python 2
-
audit-trail-reporter
audit-trail-reporter PublicReal-world demo of the Capa capability-typed language: daily risk aggregates from a financial transaction log.
-
policy-eval
policy-eval PublicMinimal policy-as-code engine: evaluates a JSON-encoded policy AST against a subject document. Capa demo.
-
sbom-watch
sbom-watch PublicOperationalise your SBOM: match against CVE database + policy, emit a risk report. Capa demo.
-
capa_governance_pack
capa_governance_pack PublicCRA / NIS2 / SOC2 evidence pack generator. Turns a CycloneDX SBOM + governance policy + VEX exclusions into a regulator-readable audit pack and machine-readable attestation. Written in the Capa cap…
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



