Formal verification for interconnected software
☆16Oct 27, 2026Updated last week
Alternatives and similar repositories for zklean
Users that are interested in zklean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a lib☆11Oct 16, 2025Updated last year
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 8 years ago
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- experimental LeanOS formally verified OS☆19Updated this week
- RSK Network Stats☆10Aug 27, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🐪 A shared wallet for everyday adventures☆13Sep 30, 2026Updated last month
- ☆11Oct 1, 2026Updated last month
- Ocelloids Service Layer☆11Updated this week
- ☆14Updated this week
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- A Simple node.js-base terminal slide tool☆15Sep 27, 2016Updated 10 years ago
- Provides support for attachment management for Taskwarrior☆12Apr 19, 2012Updated 14 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Whitepaper for the Starport Lending Kernel and Astaria v1☆11Jun 4, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- PDF/EPUB library CLI/TUI backed by GitHub Release assets (Git LFS alternative). On-demand per-file downloads, metadata catalog, migrate/s…☆15Jul 8, 2026Updated 4 months ago
- An experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- Proof assistant☆13Dec 18, 2025Updated 10 months ago
- AMM optimized for 10,000 stablecoins in 1 pool.☆14Jun 17, 2025Updated last year
- ☆28Apr 16, 2026Updated 6 months ago
- Open-source web app for listening to music collaboratively☆11Jun 25, 2013Updated 13 years ago
- Internalizing intensional type theory☆12Jun 20, 2015Updated 11 years ago
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- Custom exhereses for Exherbo☆10Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- a bleve index implementation designed for efficiently executing searches against a single document (or a sequence of documents one at a t…☆11Aug 6, 2026Updated 3 months ago
- Repository for BentoBox strategy implementations☆13Aug 1, 2022Updated 4 years ago
- Substrate RPC-client implementation made in pure Kotlin.☆18Sep 10, 2021Updated 5 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- JGroups PING protocols for OpenShift☆15Apr 13, 2023Updated 3 years ago
- Lightning talk at FOSDEM 2019 in Bruxelles☆11Feb 2, 2019Updated 7 years ago
- Virtual Classes for Scala implemented as annotation macro☆11Aug 27, 2014Updated 12 years ago
- A curated collection of specialized skills, designed to enhance AI-assisted workflows☆11Sep 15, 2026Updated last month
- ElysiaJS JWT Authentication with Refresh Token Rotation, Reuse Detection, and expire token handling with Cron.☆10Sep 19, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Latent Large Language Models☆19Aug 24, 2024Updated 2 years ago
- Figi is a small macro based utility for Scala 2.11 that allows you to easily create simple type-safe wrappers for configuration objects.☆10Jan 31, 2016Updated 10 years ago
- Ape SDK for the Uniswap protocol☆17Oct 30, 2026Updated last week
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆39Sep 30, 2026Updated last month
- ☆10Jan 22, 2018Updated 8 years ago
- A bot that will transcribe the conversations had in a voice channel on discord☆16May 20, 2018Updated 8 years ago