a
ZK & Privacy
ark-groth16
ark-groth16 is a Rust library implementing the Groth16 zkSNARK for building and working with zero-knowledge proof systems.
Guide: Build the library with stable Rust and CargoFind a project for your next task
Explore AI, agents, blockchain and crypto through official sources, concrete tasks and practical guides.
PROJECT PROFILES
7028 projects
Browse by purpose and evidence; use an exact name, ticker or addressable project domain to narrow the search.
a
ZK & Privacy
ark-r1cs-std
ark-r1cs-std is a Rust library of R1CS constraint gadgets for expressing common computations inside SNARK circuits, including bit operations, finite-field and elliptic-curve arithmetic, and pairings.
Guide: Build the library and run its unit testsA
DeFi
Arkadiko
Arkadiko is a decentralized, non-custodial liquidity protocol on Stacks.
Guide: Mint USDA by opening a collateral vaultA
Infrastructure
Arkd
arkd is a Go server implementation for an Arkade instance built on the Ark protocol. It manages Bitcoin batch outputs, facilitates off-chain transfers, and provides liquidity for on-chain commitment settlements.
Guide: Set up an arkd wallet and prepare it for operationA
ZK & Privacy
Arklib
Arklib is an open-source Lean 4 library that formally models and verifies succinct non-interactive arguments of knowledge, using interactive oracle reductions as a compositional foundation for SNARK protocol specifications and completeness and soundness proofs.
Guide: Set up the Arklib development contextA
RAG & Knowledge Systems
Arkon
Arkon is a self-hosted organizational knowledge application that compiles internal documents into a structured wiki and serves permission-scoped knowledge to AI clients through a Model Context Protocol server.
Guide: Set up Arkon with Dockera
Developer Tools
arkworks::algebra
arkworks::algebra is a collection of Rust crates implementing finite-field arithmetic, prime-order groups and elliptic curves, polynomial operations, and serialization interfaces for cryptographic and zkSNARK development.
Guide: Build the algebra crates with CargoA
AI Models
Arl Eegmodels
Arl Eegmodels is a Python collection of Keras and TensorFlow convolutional neural network models for EEG signal processing and classification.
Guide: Configure and train a model for EEG classificationA
Developer Tools
Arloader
Arloader is an open-source Rust command-line application and client for uploading local files to Arweave.
Guide: Prepare and upload a batch of filesA
Coding Agents
Armada
Armada is a JavaScript command-line developer tool that coordinates eight specialist AI engineering roles around software changes in repositories.
Guide: Set up Armada in an existing repositoryA
Staking & Validators
Armada Alliance
Armada Alliance is a website and community registry for Cardano stake pools and their operators, with entries maintained as Markdown files in a public GitHub repository.
Guide: Propose a pool and operator listingsA
Explorers & Analytics
Armiarma
Armiarma is an open-source Go and Libp2p crawler that joins Ethereum consensus-layer peer-to-peer networks, discovers peers and collects network-status data for analysis.
Guide: Build Armiarma from sourceA
Browser Agents
Artemis
ARTEMIS is an open-source Python agent that carries out natural-language tasks across Android apps on connected devices or emulators, with CLI, web console, Python SDK and MCP interfaces.
Guide: Set up ARTEMIS on a connected Android deviceA
AI Developer Tools & SDKs
Article Recommender
A TypeScript tutorial and example that uses a local Transformers.js embedding model and Pinecone similarity search to recommend articles resembling content a reader has previously read.
Guide: Prepare article records in a Pinecone indexA
AI Developer Tools & SDKs
Articutapi
Articutapi is a Python API for Chinese word segmentation and part-of-speech tagging.
Guide: Apply a user-defined dictionary during parsingA
Image & Video AI
Artline
ArtLine is an open-source deep-learning project that converts portrait images into line art and includes a ControlNet workflow for changing portrait style with a written instruction.
Guide: Prepare the documented local dependenciesA
Audio & Voice AI
Artyom.js
Artyom.js is an MIT-licensed JavaScript library that wraps browser speech recognition and speech synthesis APIs, letting developers add voice commands, dictation and spoken responses to websites.
Guide: Add a spoken response with the browser buildA
Developer Tools
Arweave Python Client
Arweave Python Client is an MIT-licensed Python SDK for integrating applications and command-line workflows with the Arweave network.
Guide: Install the client and read wallet information