🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆11Nov 15, 2023Updated 2 years ago
Alternatives and similar repositories for leoa
Users that are interested in leoa are comparing it to the libraries listed below
Sorting:
- A Telegram bot to force members to join a specific channel before sending messages in a group.☆11Nov 6, 2020Updated 5 years ago
- ☆11Nov 15, 2023Updated 2 years ago
- Proof of Work secured faucet for EVM chains☆11Sep 6, 2022Updated 3 years ago
- ☆11Apr 4, 2024Updated last year
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆11Aug 10, 2022Updated 3 years ago
- Telegram Bot to play music in VoiceChat with Channel Support and autostarts Radio.☆11Jul 25, 2021Updated 4 years ago
- An e-commerce website with a shopping cart and checkout functionality.☆11May 10, 2023Updated 2 years ago
- An application that allows users to search for and save recipes.☆11May 10, 2023Updated 2 years ago
- Filter Bot☆11Jun 17, 2021Updated 4 years ago
- To deploy catuserbot☆11Dec 10, 2022Updated 3 years ago
- Repository hosts the adapters for integrating NFT collections or marketplaces on dappradar.com/nft☆11Aug 29, 2022Updated 3 years ago
- A program that recommends movies based on user preferences and ratings.☆11May 10, 2023Updated 2 years ago
- An application that allows users to track their workouts and fitness goals.☆11May 10, 2023Updated 2 years ago
- Telegram Code To Ban All Group Members very fast☆11Feb 11, 2022Updated 4 years ago
- Telegram bot to replace Amazon affiliate tags in links☆11Jan 5, 2021Updated 5 years ago
- EdShare is an open-source platform for educators to share free resources. Access materials, contribute your own, and connect with other e…☆11May 11, 2023Updated 2 years ago
- Generate your Amazon affiliate links with one click!☆11Apr 2, 2015Updated 10 years ago
- WhatsAsena project - Makes it easy and fun to use Whatsapp. Also first userbot for Whatsapp☆11Jan 1, 2021Updated 5 years ago
- Telegram Bot to play music in VoiceChat with Channel Support and autostarts Radio.☆12Jul 9, 2021Updated 4 years ago
- ☆12Nov 12, 2023Updated 2 years ago
- save airdrop in hacked wallet example☆12Mar 6, 2024Updated 2 years ago
- ☆11Nov 7, 2023Updated 2 years ago
- ☆12Nov 14, 2023Updated 2 years ago
- A program that generates quizzes and tests based on different subjects and topics.☆12May 10, 2023Updated 2 years ago
- Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the…☆11Aug 15, 2022Updated 3 years ago
- A program that stores and manages passwords securely and allows users to access them easily when needed.☆10May 10, 2023Updated 2 years ago
- A simple Git command that adds all files in the current directory to the staging area.☆10May 10, 2023Updated 2 years ago
- ☆11Nov 12, 2023Updated 2 years ago
- A program that tracks and manages software bugs and issues to ensure they are fixed in a timely manner.☆10May 10, 2023Updated 2 years ago
- An application that allows users to set fitness challenges and compete with others to achieve their goals.☆11May 10, 2023Updated 2 years ago
- A chat application that allows users to communicate with each other through text and multimedia messages.☆10May 10, 2023Updated 2 years ago
- 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications☆11Nov 11, 2023Updated 2 years ago
- A simple HTML page with a heading and a paragraph.☆11May 10, 2023Updated 2 years ago
- An application that allows users to take a virtual tour of different locations and landmarks.☆11May 10, 2023Updated 2 years ago
- An application that helps users track their expenses and budgets and provides reports and insights.☆11May 10, 2023Updated 2 years ago
- A program that translates text from one language to another using machine learning algorithms.☆10May 10, 2023Updated 2 years ago
- ☆11Mar 12, 2024Updated 2 years ago
- ☆11Mar 12, 2024Updated 2 years ago
- A simple photo editor application that allows users to edit their photos and add filters and effects.☆11May 10, 2023Updated 2 years ago