Decentralized governance for Git communities

Lunal is the AI confidential compute platform. We run your AI workloads (inference, training, agents) inside hardware-encrypted environments called Trusted Execution Environments (TEEs). Your data and code stay private while being processed. Your code can't be tampered with. You can cryptographically verify both claims without trusting us.

Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.

A list of tools and methods for building trustworthy software following TrustOps principles.

Course project on prompt engineering for automated verifiability checking of online user comments.

A library to use interval arithmetic on PyTorch's models. It can also generate a PVS theory. It can also use Statistical Model Analysis

A secure, privacy-preserving voting system built with Go, featuring zero-knowledge proofs and homomorphic tallying for absolute vote privacy and public verifiability.

Readme