touchasky/leo-12 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

touchasky/leo-12

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/touchasky/leo-12)

Close

touchasky / leo-12View on GitHubMore

• External links
• Readme badge

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

☆14Jun 6, 2024Updated 2 years ago

Alternatives and similar repositories for leo-12

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

• touchasky / webauthn-sol

  View on GitHub
  ☆15Jun 6, 2024Updated 2 years ago
• touchasky / web

  View on GitHub
  ☆15Jun 7, 2024Updated 2 years ago
• touchasky / op-geth012

  View on GitHub
  ☆12May 31, 2024Updated 2 years ago
• touchasky / intro-to-github

  View on GitHub
  This is a demo repository to practice using GitHub.
  ☆17Jun 7, 2024Updated 2 years ago
• touchasky / nft1

  View on GitHub
  Node.js dependency tracing utility
  ☆23Jun 3, 2024Updated 2 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• touchasky / node-base

  View on GitHub
  Everything required to run your own Base node
  ☆21May 28, 2024Updated 2 years ago
• touchasky / grok-11

  View on GitHub
  Grok open release
  ☆20May 29, 2024Updated 2 years ago
• touchasky / tape

  View on GitHub
  Talk, Amplify, Post, Explore. Decentralized social media platform.
  ☆21Jun 3, 2024Updated 2 years ago
• touchasky / moonbeam

  View on GitHub
  An Ethereum-compatible smart contract parachain on Polkadot
  ☆22May 22, 2024Updated 2 years ago
• touchasky / OpenSID

  View on GitHub
  Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID
  ☆30May 22, 2024Updated 2 years ago
• touchasky / sidekiq

  View on GitHub
  Simple, efficient background processing for Ruby
  ☆27May 22, 2024Updated 2 years ago
• touchasky / new-tes-2

  View on GitHub
  ☆19May 22, 2024Updated 2 years ago
• touchasky / fetch

  View on GitHub
  A window.fetch JavaScript polyfill.
  ☆14May 21, 2024Updated 2 years ago
• touchasky / rainbowkit

  View on GitHub
  The best way to connect a wallet 🌈 🧰
  ☆19May 22, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• touchasky / hey

  View on GitHub
  Hey is a decentralized and permissionless social media app built with Lens Protocol 🌿
  ☆20May 22, 2024Updated 2 years ago
• touchasky / fe

  View on GitHub
  Emerging smart contract language for the Ethereum blockchain.
  ☆20May 22, 2024Updated 2 years ago
• touchasky / FederatedScope

  View on GitHub
  An easy-to-use federated learning platform
  ☆13May 20, 2024Updated 2 years ago
• touchasky / FediFetcher

  View on GitHub
  FediFetcher is a tool for Mastodon that automatically fetches missing replies and posts from other fediverse instances, and adds them to …
  ☆14May 21, 2024Updated 2 years ago
• ex1228eth / Control-Structures

  View on GitHub
  ☆19Jun 5, 2024Updated 2 years ago
• touchasky / federated

  View on GitHub
  A collection of Google research projects related to Federated Learning and Federated Analytics.
  ☆13May 20, 2024Updated 2 years ago
• touchasky / Rabby-az

  View on GitHub
  The game-changing wallet for Ethereum and all EVM chains
  ☆19May 21, 2024Updated 2 years ago
• touchasky / optimism-az

  View on GitHub
  Optimism is Ethereum, scaled.
  ☆20May 21, 2024Updated 2 years ago
• bubibum / congenial-barnacle

  View on GitHub
  ☆16Jul 15, 2024Updated 2 years ago
• Open source password manager - Proton Pass • Ad
  Securely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
• ex1228eth / summ-59

  View on GitHub
  ☆17Jul 16, 2024Updated 2 years ago
• cryptmax / vuetest

  View on GitHub
  textarea vue test
  ☆20Jul 17, 2024Updated 2 years ago
• touchasky / new-test

  View on GitHub
  ☆21May 21, 2024Updated 2 years ago
• touchasky / SideMenu

  View on GitHub
  An interactive iOS side menu with rich features.
  ☆13May 16, 2024Updated 2 years ago
• bubibum / shiny-octo-umbrella

  View on GitHub
  ☆17Jul 15, 2024Updated 2 years ago
• Bergozik / Text-based-Game-in-Python

  View on GitHub
  This repository features a simple text-based game "Guess the Number" implemented in Python
  ☆18Jul 2, 2024Updated 2 years ago
• last-suns3t / passivbot

  View on GitHub
  Trading bot running on Binance, Bybit, Bitget, OKX, BingX, and Hyperliquid
  ☆16Jul 11, 2024Updated 2 years ago
• ex1228eth / deploying-on-testnet

  View on GitHub
  ☆20Jun 5, 2024Updated 2 years ago
• Bergozik / Web-Application-with-Node.js-and-Express

  View on GitHub
  This repository showcases a simple web application built with Node.js and Express
  ☆18Jul 2, 2024Updated 2 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• Bergozik / Algorithms-and-Data-Structures

  View on GitHub
  This repository contains implementations of various algorithms and data structures in Python
  ☆18Jul 2, 2024Updated 2 years ago
• Sined1117 / Basecamp7

  View on GitHub
  ☆18Jul 11, 2024Updated 2 years ago
• Bigir / AddressBook

  View on GitHub
  ☆19Jul 15, 2024Updated 2 years ago
• ex1228eth / the-elementary-equation

  View on GitHub
  the most basic code example
  ☆34May 30, 2024Updated 2 years ago
• touchasky / SoundSwitch_az

  View on GitHub
  C# application to switch default playing device. Download: https://soundswitch.aaflalo.me/
  ☆25May 16, 2024Updated 2 years ago
• Bergozik / Machine-Learning-Project-with-TensorFlow-in-Python

  View on GitHub
  This repository includes a machine learning project using TensorFlow for image classification
  ☆20Jul 2, 2024Updated 2 years ago
• Sined1117 / Basecamp8

  View on GitHub
  ☆19Jul 11, 2024Updated 2 years ago