Stars
Protocol and founding document for a decentralised global conscience layer.
Fast, accurate & comprehensive text measurement & layout
Lean 4 programming language and theorem prover
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
spruceid / opencred
Forked from stateofca/opencredOpenCred Verifiable Credentials Platform
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.
Open-source context retrieval layer for AI agents
A demo for passkey integration with web3 dapps
dashboard for creating and managing projects inside aura
DAOstar is the standards body of DAOs. We write technical standards and publish research for DAOs and DAO tooling.
Azul board game (pass and play) for calculators with a screen height of 8 rows.
Hunt the wumpus game for calculators with 8 char row screens. You can choose any size of rectangular lair that will fit the memory of your device, and specify the number of wumpuses, bats, and pits…