Command line interface for supplying proofs to the Nexus network.
☆1,113Feb 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for nexus-cli
Users that are interested in nexus-cli are comparing it to the libraries listed below
Sorting:
- The Nexus zkVM: The zero-knowledge virtual machine☆2,597Jan 6, 2026Updated 2 months ago
- ☆13Oct 7, 2025Updated 4 months ago
- ☆28Dec 15, 2023Updated 2 years ago
- A fully open source framework for creating RL training swarms over the internet.☆1,699Jan 5, 2026Updated 2 months ago
- Scripts for deploying Hyperlane contracts☆62Nov 14, 2023Updated 2 years ago
- A bot for automating transactions and bridging assets on the t3rn network.☆208Sep 14, 2024Updated last year
- An example counter app on Nexus☆34Feb 25, 2025Updated last year
- An experimental desktop client for using Claude Desktop's MCP with Novelcrafter codices.☆10Dec 3, 2024Updated last year
- ⚙️🦀 Build modular and scalable LLM Applications in Rust☆6,221Updated this week
- ACL2 experiments on arithmetic circuits☆12Jul 31, 2024Updated last year
- 本项目主要对开源的MOSS SFT数据进行整理 ，转换成mnbvc多轮对话格式。MOSS-003涵盖用性、忠实性、无害性三个层面，共353w样本，MOSS-003 包含更细粒度的有用性类别标记、更广泛的无害性数据和更长对话轮数，共630w样本，☆12Dec 3, 2023Updated 2 years ago
- A MUD based starterkit by optimism☆21Apr 3, 2024Updated last year
- Development configuration, scripts and and CI setup for polkadot-js projects. It acts as templates for other projects to reduce boilerpla…☆12Apr 9, 2025Updated 10 months ago
- Web app for the Hyperlane Explorer☆101Updated this week
- ☆70Updated this week
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆7,620Updated this week
- Learn how to build StarkNet <-> Ethereum cross layer applications☆137Feb 27, 2024Updated 2 years ago
- ☆52Feb 26, 2025Updated last year
- The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentra…☆74,268Feb 24, 2026Updated last week
- ☆14Apr 26, 2025Updated 10 months ago
- No-code LLM Platform to launch APIs and ETL Pipelines to structure unstructured documents☆6,452Updated this week
- Main repository for the Linera protocol☆32,139Updated this week
- Spec-driven development for large codebases☆5,262Updated this week
- Causify development system☆141Updated this week
- A web app template for building Hyperlane Warp Route UIs☆184Updated this week
- Course Materials for Bayesian Psychometric Modeling☆15May 14, 2019Updated 6 years ago
- ☆893Jul 18, 2025Updated 7 months ago
- Original repository holding documentation and examples for the Walrus decentralized storage system.☆657Jul 8, 2025Updated 7 months ago
- Meridian is an MMM framework that enables advertisers to set up and run their own in-house models.☆1,279Feb 28, 2026Updated last week
- Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. …☆11,492Feb 10, 2026Updated 3 weeks ago
- Exploration: using technology to aid people who lack both the ability to speak and fine motor control.☆22Oct 24, 2024Updated last year
- https://zmusic-pal.zoejane.net. A lightweight web application for quick key and chord lookup, featuring an AI companion for deeper musi…☆12Mar 1, 2025Updated last year
- DeFAI Swiss Army Knife☆1,084Nov 5, 2025Updated 4 months ago
- The main repo for starknet.io☆633Aug 8, 2024Updated last year
- A Comprehensive survey on business use cases of AI that help them thrive in the digital economy☆13Oct 7, 2020Updated 5 years ago
- This is a AUTOSAR documents specific retriever based on LLM and RAG.☆16Nov 12, 2024Updated last year
- SiliconCloud Cookbook☆23Mar 8, 2025Updated 11 months ago
- The python library for real-time communication☆4,535Jan 12, 2026Updated last month
- A collection of configs, artifacts, and schemas for Hyperlane☆96Updated this week