Working repository for common AI Card standard

Qortium Home

Protocol and founding document for a decentralised global conscience layer.

Temporal service

Fast, accurate & comprehensive text measurement & layout

Lean 4 programming language and theorem prover

Server to host Lean games

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

OpenCred Verifiable Credentials Platform

OpenCred Verifiable Credentials Platform

Core library for decentralized identity.

OpenID Connect for Verifiable Presentations

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Gerust is a project generator for Rust backend projects. It takes care of the accidental complexity so you can stay focused on what matters.

Build a comprehensive toolkit to detect, troubleshoot and resolve issues with Rust applications.

A course to move beyond the built-in Rust testing toolkit.

Get started developing on Arbitrum

Evolution Pretraining Fully in Int Formats

zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.

User guide for Aura

Open-source context retrieval layer for AI agents

A demo for passkey integration with web3 dapps

dashboard for creating and managing projects inside aura

Get verified in aura

DAOstar is the standards body of DAOs. We write technical standards and publish research for DAOs and DAO tooling.