chinenyeokafor Goto Github PK

app-designer

A design environment for creating, customizing, and previewing your forms, data curation, and visualization applications.

cosign

Code signing and transparency for containers and binaries

deploy

dex

docs

ODK-X Documentation, built in Sphinx.

fulcio

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the aut

rekor

Software Supply Chain Transparency Log

rekor-monitor-collector

Log monitor for Rekor to verify immutability and monitor entries

rekor-stats

services

An application for handling database access, file access, and data synchronization services between all the ODK-X applications. It allows you to synchronize data collected by the ODK-X Android tools with a cloud endpoint.

sigstore-the-hard-way

sigstore the hard way!

sira

survey

ODK-X Survey is a question based data collection Android app that uses a predefined survey specified using the XLSXConverter (part of Application Designer).

testrepo

tsel-infrastructure

verdi-lockserv

An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework