Alternatives and similar repositories for ola-lang

Users that are interested in ola-lang are comparing it to the libraries listed below

• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆163Updated 9 months ago
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework (EraVM).
  ☆35Updated last week
• matter-labs / eravm-spec
  EraVM specification.
  ☆17Updated this week
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆29Updated this week
• matter-labs / era-consensus
  Consensus layer implementation for zkSync Era
  ☆71Updated 4 months ago
• primus-labs / emp-rust
  Efficient Multi-Party computation toolkit in Rust
  ☆23Updated 2 years ago
• availproject / op-evm
  ☆73Updated last year
• matter-labs / era-zkevm_test_harness
  Compare in-circuit and out-of-circuit VMs
  ☆60Updated last year
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆67Updated this week
• Layr-Labs / eigenlayer-middleware
  ☆113Updated last week
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆142Updated last year
• scroll-tech / mpt-circuit
  ☆70Updated last year
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆85Updated this week
• succinctlabs / starkyx
  ☆65Updated last year
• matter-labs / era-zkevm_circuits
  ☆63Updated last year
• starknet-io / starknet-p2p-specs
  Specification of P2P protocol for StarkNet nodes
  ☆53Updated this week
• polymerdao / plonky2-solidity-verifier
  ☆80Updated 9 months ago
• axelarnetwork / axelar-local-dev
  A local developer environment for building your cross-chain dapps.
  ☆52Updated last month
• availproject / data-availability
  ☆94Updated last year
• starknet-io / types-rs
  🐺 Starknet Rust types 🦀
  ☆77Updated last week
• matter-labs / era-boojum-validator-cli
  ☆21Updated 6 months ago
• Eclipse-Laboratories-Inc / zk-bpf
  zero-knowledge execution of eBPF bytecode
  ☆92Updated 2 years ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆152Updated this week
• matter-labs / era-zkevm_opcode_defs
  Definitions of zkEVM opcodes (primary dependency for all other repos)
  ☆36Updated last year
• axelarnetwork / axelar-docs
  Resources & Documentation for Axelar Network
  ☆66Updated last week
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆84Updated this week
• ProvableHQ / python-sdk
  ☆45Updated 4 months ago
• anoma / vamp-ir
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆162Updated 2 years ago
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆57Updated this week
• availproject / avail-uncharted
  Welcome to Avail Uncharted. The heart of exploration within the Avail ecosystem. Join our Explorations team as we push the horizons of th…
  ☆23Updated last year