new repo13h
Phala-Network / phala-analytics$PHAEthereum
Phala analytics: Ethereum subgraph, circulation API and analytics.phala.network dashboard.
AI agentslow
Gemini3/10template~/pushd/feed$ls --gallery
The feed.
Every push as a card. Switch back to the log any time.
Gemini3/10templateprocessor-1.29.0release
release1d
Acurast / acurast-processor-update processor-1.29.0$ACUBase
This repository contains the Android Processor APKs and the changelog of the iOS Processor updates.
AI agentslow
Gemini1/10template
push1d
priors-agents / priors$PRIORSRobinhood Chain
On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...
AI agentslow
Gemini2/10templatepush1d
priors-agents / priors$PRIORSRobinhood Chain
On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...
AI agentslow
Gemini2/10template
push1d
priors-agents / erc-liquidity-locks$PRIORSRobinhood Chain
Draft ERC: one interface for any contract that locks pool liquidity (v2 pool tokens, v3 and v4 positions), read by...
AI agentslow
Gemini1/10template
new repo1d
emberian / acl2aiguide$DREGGSolana
A guide to ACL2 for humans and for AIs: the logic and the prover, how proofs fail and how to read them, modelling...
Solana and pump.funlow
Grok3/10template
push1d
emberian / fn$DREGGSolana
High-assurance NNTP (usenet) server built in ACL2 (common lisp) { and more }.
Solana and pump.funlow
Grok1/10template
push1d
emberian / minidregg$DREGGSolana
Condensed & experimental proof systems for zk/fhe and semantics for agent coordination.
Solana and pump.funlow
Grok1/10template
new repo1d
DROOdotFOO / raxol-symphony$RAXOLRobinhood Chain
Frozen 2026-10-27 (raxol ADR-0043): Elixir/OTP port of OpenAI Symphony, extracted from DROOdotFOO/raxol...
AI agentsmedium
Gemini5/10templatepush2d
emberian / minidregg$DREGGSolana
Condensed & experimental proof systems for zk/fhe and semantics for agent coordination.
Solana and pump.funlow
Grok1/10template
push2d
emberian / veri7vn$DREGGSolana
Oracle7's sibling, with an Isabelle spine.
Solana and pump.funlow
Grok1/10templatepush2d
emberian / minidregg$DREGGSolana
Condensed & experimental proof systems for zk/fhe and semantics for agent coordination.
Solana and pump.funlow
Grok1/10template
push2d
emberian / nanodregg$DREGGSolana
Nanodregg: the Mini system rebuilt from its spec, a verified World/Turn kernel, Objective Bend, a resident Host, a...
Solana and pump.funlow
Grok1/10templatepush2d
priors-agents / priors$PRIORSRobinhood Chain
On-chain credit pool for ERC-8004 AI agents on Robinhood Chain: agents borrow USDG, repay it and earn a public...
AI agentslow
Gemini2/10template
new repo2d
SalvorLabs / salvor-taskflow-demo-app$SALVORSolana
A deliberately small task manager: a Fastify + SQLite REST API and a React/Vite UI.
AI agentsmedium
Gemini4/10templateshowing 15 of 15 cardsholders see this live ->