A Complete Guide to Zero-Knowledge Proof Systems
☆110Apr 20, 2026Updated 2 weeks ago
Alternatives and similar repositories for sevenlayer
Users that are interested in sevenlayer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Modern base template for building dApps on the Midnight Network. Includes smart contracts, backend APIs, CLI tools, and frontend UI.☆19Oct 16, 2025Updated 6 months ago
- Lectures, documentation, and examples for Marlowe Pioneer Program.☆17Jul 1, 2022Updated 3 years ago
- The Lace Wallet.☆48May 1, 2026Updated last week
- purerl bindings to basic Erlang process functionality☆13Aug 31, 2022Updated 3 years ago
- PureScript Erlang hello world☆13Aug 3, 2018Updated 7 years 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 ClojureScript wrapper library for TensorFlow.js☆10Oct 7, 2018Updated 7 years ago
- ⛔️ DEPRECATED: interface-peer-routing is now included in https://github.com/libp2p/js-interfaces☆12Mar 11, 2020Updated 6 years ago
- Mesh Midnight starter template☆23Feb 9, 2026Updated 3 months ago
- A Hello World program in Coq.☆17May 28, 2022Updated 3 years ago
- ☆11Feb 27, 2026Updated 2 months ago
- Scalus Starter project☆11Updated this week
- 📜 Full-time course that will take you from zero to a productive Haskell and Smart Contract developer. Course info, plan, video lectures,…☆11Mar 27, 2024Updated 2 years ago
- This project aims to implement the 21 most common blockchain use cases for Cardano☆27Updated this week
- ☆16Jun 18, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Oct 23, 2024Updated last year
- JavaScript (nodes) Implementation of the KERI core library.☆11Apr 21, 2023Updated 3 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆13Dec 13, 2018Updated 7 years ago
- SDK - TypeScript☆28Updated this week
- Aiken support for VS Code☆20Jan 3, 2026Updated 4 months ago
- Read-optimized cache of Cardano on-chain entities☆104Jan 13, 2025Updated last year
- Addon for running Topology Optimization in Blender☆11Aug 5, 2019Updated 6 years ago
- ☆18Mar 1, 2025Updated last year
- A simple game-engine/ui library☆24Apr 6, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Brick Towers Sea Battle Game on Midnight Network☆25Mar 24, 2026Updated last month
- Library of Unix effects for Coq.☆23Sep 28, 2019Updated 6 years ago
- Grow ERG☆14Apr 27, 2022Updated 4 years ago
- daochess pits governance systems against each other in real-time games of Chess, testing mechanisms and coordination.☆23Jun 22, 2021Updated 4 years ago
- ☆25Oct 10, 2023Updated 2 years ago
- Top level repository for building the Cardano Haskell node and related components and dependencies.☆24Apr 3, 2023Updated 3 years ago
- The Aiken Standard Library☆59Apr 24, 2026Updated 2 weeks ago
- INACTIVE - http://mzl.la/ghe-archive - This repo is for tracking initiatives of the Mozilla Learning Networks team.☆12Mar 29, 2019Updated 7 years ago
- Load images in Julia. Designed for FileIO interaction. Supports PNG and Portable Bitmap formats☆29Dec 3, 2024Updated last year
- 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.
- Provide utility function for aiken onchain validation and testing utility☆29Feb 20, 2026Updated 2 months ago
- Implementation experiments as part of the design process of Starstream VM☆40Updated this week
- Metadata for Cardano's Haskell package repository☆36May 2, 2026Updated last week
- Swift SDK for Cardano network (Alonzo).☆19Aug 23, 2022Updated 3 years ago
- ⚙️ Core Catalyst Governance Engine and utilities.☆38Dec 11, 2025Updated 4 months ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Lucid is a library designed to simplify creating Cardano transactions and writing off-chain code for Plutus contracts.☆359Apr 7, 2026Updated last month