VoteSecure, Free & Fair's core cryptographic library for the Mobile Voting Project

A compilation of schemas commonly used for a range of credential, app, and service use cases.

OpenMinter is dApp framework for enabling the creation and collection of non-fungible tokens (NFTs) on Tezos.

The Decentralized Identifier method for the Tezos blockchain.

Verifiable Credentials for Education Task Force

A library for building dApps on the Tezos Blockchain - JavaScript / TypeScript

A reference credential wallet built on Flutter and DIDKit.

Starter project for Flutter plugins willing to access native and synchronous rust code using FFI

Create much doge DIDs

very currency

Core library for decentralized identity.

A cross-platform toolkit for decentralized identity.

Build full-stack apps on your own infrastructure.

Community comments for the NIST Special Publication (SP) 800-63-3 Digital Identity Guidelines

Backup and keep your application settings in sync.

The Ivory EDSL

Monero: the secure, private, untraceable cryptocurrency

Learn Go with test-driven development

A 3D Visual Mnemonic Game for Key Recovery

TLS/SSL implementation in haskell

web development for the rest of us

A Twitter bot for interacting with a TCR without knowing what a blockchain is

The Z3 Theorem Prover

An experimental language which adds functional programming features to Go.

A minimal Bitcoin wallet intended for embedded devices

FUSE driver to read/write Windows' BitLocker-ed volumes under Linux / Mac OSX

The Main Monorepo and entry-point of all things Civil

An AA sized ISM radio Arduino clone

kaldi-asr/kaldi is the official location of the Kaldi project.