lexicon179/leo external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lexicon179/leo

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lexicon179/leo)

Close

lexicon179 / leoView on GitHubMore

• External links
• Readme badge

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

☆18May 20, 2024Updated last year

Alternatives and similar repositories for leo

Users that are interested in leo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• lexicon179 / optimism

  View on GitHub
  Optimism is Ethereum, scaled.
  ☆18May 16, 2024Updated last year
• lexicon179 / contract-deployments

  View on GitHub
  ☆18May 16, 2024Updated last year
• lexicon179 / op-geth

  View on GitHub
  ☆18May 15, 2024Updated last year
• lexicon179 / web

  View on GitHub
  ☆16May 20, 2024Updated last year
• lexicon179 / blob-archiver

  View on GitHub
  ☆17May 15, 2024Updated last year
• Wordpress hosting with auto-scaling on Cloudways • Ad
  Fully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
• lexicon179 / BaseCamp

  View on GitHub
  BaseCamp Contracts
  ☆16May 13, 2024Updated last year
• lexicon179 / node

  View on GitHub
  Everything required to run your own Base node
  ☆18May 15, 2024Updated last year
• lexicon179 / land-sea-and-sky

  View on GitHub
  ☆16May 13, 2024Updated last year
• lexicon179 / contracts

  View on GitHub
  ☆14May 10, 2024Updated last year
• lexicon179 / brand-kit

  View on GitHub
  Brand guide and logos for the Base brand.
  ☆13Apr 23, 2024Updated last year
• lexicon179 / guides

  View on GitHub
  ☆15Apr 30, 2024Updated last year
• lexicon179 / webauthn-sol

  View on GitHub
  ☆15Apr 22, 2024Updated last year
• lexicon179 / op-wagmi

  View on GitHub
  Wagmi hooks for OP stack chains
  ☆15Apr 11, 2024Updated last year
• lexicon179 / pessimism

  View on GitHub
  Detect real-time threats and events on OP Stack compatible blockchains
  ☆15Apr 19, 2024Updated last year
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
• lexicon179 / cryptoZombies

  View on GitHub
  [🤖] cryptoZombies course practice for Solidity
  ☆14Sep 21, 2021Updated 4 years ago
• lexicon179 / foundry

  View on GitHub
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆14Feb 7, 2024Updated 2 years ago
• lexicon179 / syndicate-farcaster-frame-starter

  View on GitHub
  A starter for using https://frame.syndicate.io/ with Farcaster Frames
  ☆13Jan 31, 2024Updated 2 years ago
• lexicon179 / onchainsummer.xyz

  View on GitHub
  ☆16Feb 14, 2024Updated 2 years ago
• lexicon179 / zerion_dna_minter

  View on GitHub
  ☆13Jul 3, 2023Updated 2 years ago
• lexicon179 / build_minter

  View on GitHub
  ☆13Jun 14, 2023Updated 2 years ago
• lexicon179 / lexicon179

  View on GitHub
  Config files for my GitHub profile.
  ☆17Jan 31, 2022Updated 4 years ago
• lexicon179 / paymaster

  View on GitHub
  ☆14Mar 7, 2024Updated 2 years ago
• lexicon179 / withdrawer

  View on GitHub
  Golang utility for proving and finalizing withdrawals from op-stack chains.
  ☆15Mar 7, 2024Updated 2 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• stasmajevski / 1.kodutoo-II-ruhm

  View on GitHub
  ☆13May 27, 2016Updated 9 years ago
• stasmajevski / 2.tund-2_ruhm

  View on GitHub
  ☆13Sep 13, 2016Updated 9 years ago
• stasmajevski / 1.kodutoo-II-ruhm-1

  View on GitHub
  ☆13Sep 14, 2016Updated 9 years ago
• stasmajevski / 3.tund_II_ruhm

  View on GitHub
  ☆13Sep 27, 2016Updated 9 years ago
• stasmajevski / kodus_harjutamine_1

  View on GitHub
  ☆13Sep 8, 2016Updated 9 years ago
• lexicon179 / superstack

  View on GitHub
  ☆14Feb 25, 2024Updated 2 years ago
• girlincrypto007 / SubqHelloWorld3

  View on GitHub
  ☆14Dec 17, 2021Updated 4 years ago
• girlincrypto007 / testnets

  View on GitHub
  Evmos testnets repository
  ☆12Nov 18, 2021Updated 4 years ago
• Rocknrostov / BatUtil-life

  View on GitHub
  Collection of batch scripts utilities for Windows
  ☆22May 18, 2024Updated last year
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• Telz14 / guides

  View on GitHub
  ☆13Apr 30, 2024Updated last year
• Telz14 / SolanaBootcamp

  View on GitHub
  ☆12Apr 15, 2024Updated last year
• girlincrypto007 / Staking-rewards

  View on GitHub
  ☆14Jan 23, 2022Updated 4 years ago
• lexicon179 / nestjs-api-example

  View on GitHub
  ☆13Jul 20, 2022Updated 3 years ago
• Rocknrostov / fuelup-EEE

  View on GitHub
  ⛽ The Fuel toolchain installer
  ☆23May 20, 2024Updated last year
• girlincrypto007 / SubqHelloWorld

  View on GitHub
  ☆10Nov 7, 2021Updated 4 years ago
• IlyaSinyugin / IlyaSinyugin

  View on GitHub
  ☆13Feb 17, 2024Updated 2 years ago