Ola is a provable language for writing smart contracts
☆48Jul 14, 2024Updated last year
Alternatives and similar repositories for ola-lang
Users that are interested in ola-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ola whitepaper version-2☆17Jun 20, 2023Updated 2 years ago
- workshop☆15May 5, 2023Updated 2 years ago
- A light bitcoin library with no_std support.☆15Mar 12, 2025Updated last year
- Efficient Multi-Party computation toolkit in Rust☆23Sep 25, 2023Updated 2 years ago
- ☆16Mar 8, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆21Feb 10, 2026Updated last month
- ☆17Dec 6, 2024Updated last year
- Mirror of Quilibrium git repo: monorepo, subfolder: bedlam☆25Feb 14, 2024Updated 2 years ago
- ☆12Nov 7, 2023Updated 2 years ago
- ☆13Feb 5, 2024Updated 2 years ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Feb 12, 2025Updated last year
- ☆37Mar 24, 2025Updated last year
- BEVM early white paper, the architecture has been upgraded to Super Bitcoin☆40Jan 16, 2025Updated last year
- Aspect examples, create a pull request for your brilliant ideas!☆40Aug 26, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A local developer environment for building your cross-chain dapps.☆50Nov 5, 2025Updated 4 months ago
- Chainlink functions template so customers can send data on chain using Space and Time.☆41May 29, 2024Updated last year
- Resources & Documentation for Axelar Network☆67Feb 24, 2026Updated last month
- ☆54Feb 25, 2026Updated last month
- Web3 Foundation Open Grants Program☆50Jul 10, 2024Updated last year
- Learn how to permissionlessly pass messages & tokens to and from your chain☆68Jun 4, 2025Updated 9 months ago
- Powerful blockchain node with Aspect programming enabled.☆118Nov 15, 2024Updated last year
- GEB: Building A Reality-Perceiving Complex Adaptive System (CAS).☆90Dec 22, 2025Updated 3 months ago
- ☆75Mar 18, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The schelling point for ZK applications.☆144May 2, 2024Updated last year
- ☆102Aug 14, 2024Updated last year
- ☆80Feb 13, 2026Updated last month
- ☆103Feb 12, 2026Updated last month
- ☆116Jan 8, 2026Updated 2 months ago
- ☆73Mar 4, 2026Updated 3 weeks ago
- Quick start setup guide for EigenDA☆81Feb 20, 2026Updated last month
- This repository serves as a resource for builders interested in contributing to Artela.☆106Jul 14, 2024Updated last year
- ☆104Mar 19, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Web app for the Hyperlane Explorer☆101Updated this week
- ☆93Nov 12, 2024Updated last year
- A tool for depositing Ether into the Eclipse rollup☆115Dec 9, 2024Updated last year
- Archived. See https://github.com/AztecProtocol/aztec-packages/tree/master/barretenberg☆194Updated this week
- ☆106Mar 26, 2024Updated 2 years ago
- EigenLayer CLI☆84Oct 27, 2025Updated 4 months ago
- ☆176Feb 4, 2026Updated last month