Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
-
Updated
Apr 1, 2022 - C++
#
trustworthy-computing
Here are 5 public repositories matching this topic...
Windows Sandbox Tool - Trustworthy Computing
-
Updated
Jun 17, 2018 - C#
Research paper on computer science foundations, intelligent systems, and the TACTIC framework for cross-layer trustworthy computing, covering AI, distributed systems, cybersecurity, auditing, and human-centered design.
computer-science distributed-systems machine-learning privacy artificial-intelligence cybersecurity software-engineering human-computer-interaction research-paper system-architecture data-governance trustworthy-computing trustworthy-ai auditability samuelson-g
-
Updated
Sep 4, 2026
Researching new mathematics and a behavior-first programming language for trustworthy computation.
rust research theorem-proving programming-languages refinement formal-methods trustworthy-computing lean4 resource-aware behavioral-semantics
-
Updated
Aug 31, 2026 - Rust
Mathematical evidence kernel for agents: exact, checked, bounded, formal-bounded, and refusal-preserving computation. JACKAL v1.7.3 provides the released 41-tool surface for JACKAL, Codex, and Hermes.
scientific-computing interval-arithmetic formal-verification numerical-analysis reproducible-builds evidence trustworthy-computing lean4 anubis-lang claim-compiler hermes-plugin-backend
-
Updated
Aug 29, 2026 - Python
Add this topic to your repo
To associate your repository with the trustworthy-computing topic, visit your repo's landing page and select "manage topics."