🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
☆28Jun 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.
Sorting:
- https://github.com/CryptoMonkey21/sismo-hub.git☆28Jun 9, 2024Updated 2 years ago
- MAME☆28May 29, 2024Updated 2 years ago
- Simple, efficient background processing for Ruby☆28May 22, 2024Updated 2 years ago
- A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev☆28May 29, 2024Updated 2 years ago
- ☆28Jun 6, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Бот на WinForm для живой раскрутки инстаграм страниц.☆28Feb 12, 2020Updated 6 years ago
- This is a demo repository to practice using GitHub.☆28Jun 7, 2024Updated 2 years ago
- Everything required to run your own Base node☆28May 28, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/the-algorithm.git☆26Jun 9, 2024Updated 2 years ago
- Sistem Informasi Desa (SID) yang sengaja dibuat terbuka agar dapat dikembangkan secara bersama-sama oleh komunitas peduli SID☆28May 22, 2024Updated 2 years ago
- The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Pro…☆28May 29, 2024Updated 2 years ago
- A curated list of awesome frameworks, libraries and software for the Java programming language.☆28May 29, 2024Updated 2 years ago
- Interactive roadmaps, guides and other educational content to help developers grow in their careers.☆28May 29, 2024Updated 2 years ago
- Talk, Amplify, Post, Explore. Decentralized social media platform.☆28Jun 3, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆28May 15, 2024Updated 2 years ago
- My Rest Api By Me☆27Feb 7, 2021Updated 5 years ago
- Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum …☆28May 28, 2024Updated 2 years ago
- Node.js dependency tracing utility☆28Jun 3, 2024Updated 2 years ago
- ☆28Jun 7, 2024Updated 2 years ago
- AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus o…☆28May 29, 2024Updated 2 years ago
- Спаммер сообщений для вк☆28Jul 2, 2022Updated 3 years ago
- A cross-platform framework using Vue.js☆28May 29, 2024Updated 2 years ago
- ☆28Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆28Jul 29, 2021Updated 4 years ago
- ☆28May 31, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/farcaster-js.git☆29Jun 9, 2024Updated 2 years ago
- exploring the potential of CCHG☆28May 15, 2024Updated 2 years ago
- Gather and update all available and newest CVEs with their PoC.☆28May 29, 2024Updated 2 years ago
- The Swift Programming Language☆28May 29, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/hub-monorepo.git☆27Jun 9, 2024Updated 2 years ago
- The Go programming language☆28May 29, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/kafka.git☆27Jun 9, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆27Mar 14, 2023Updated 3 years ago
- An Ethereum-compatible smart contract parachain on Polkadot☆28May 22, 2024Updated 2 years ago
- Config files for my GitHub profile.☆28May 18, 2024Updated 2 years ago
- ☆28Jun 9, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/AgentGPT.git☆28Jun 9, 2024Updated 2 years ago
- https://github.com/dnbmagic/op-geth.git☆27Jun 9, 2024Updated 2 years ago
- https://github.com/CryptoMonkey21/tokenboy.git☆28Jun 9, 2024Updated 2 years ago