Simulation testing Cardano node(s)
☆13Oct 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for moog
Users that are interested in moog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Overview of PureScript libraries/tools for Cardano☆11Jul 25, 2024Updated 2 years ago
- Blueprints, specifications and documentation on how to build Cardano.☆33Updated this week
- A browser-based Cardano wallet for developers & testers☆13Jun 2, 2025Updated last year
- A library of algorithms for coin selection and fee balancing.☆19Sep 23, 2026Updated last month
- A CLI-based Cardano Wallet☆10Sep 23, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun 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.
- A fully open source node client for Cardano, written in Rust☆119Updated this week
- Typescript implementation of the Cardano node☆18Sep 11, 2025Updated last year
- Unit testing with resource estimation for Plutus☆30Jan 8, 2025Updated last year
- account based model simplified and aerodynamic like a bullet☆24Mar 25, 2025Updated last year
- Pure javascript implementation of Bip32Ed25519, used for Cardano blockchain key pair.☆18Sep 27, 2026Updated last month
- Hydrozoa: Lightweight multi-party state channels for Cardano☆21Nov 1, 2026Updated last week
- Elm offchain package for Cardano☆27Nov 6, 2026Updated last week
- Lean4 formalization of some provenance notions☆17Nov 2, 2026Updated last week
- Cardano Blockchain Node☆50Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Web3 crypto wallet for Solana, Cardano, Ethereum, EVMs, SVMs and Flow.☆10Apr 27, 2026Updated 6 months ago
- The smart contracts powering jpg.store☆17Jul 2, 2024Updated 2 years ago
- Implementation experiments as part of the design process of Starstream VM☆49Updated this week
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- Library utilities for constructing and signing Cardano transactions.☆25Sep 23, 2026Updated last month
- Flake Template for Haskell Projects☆26Updated this week
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 9 months ago
- COOP - Cardano open oracle protocol☆21Mar 20, 2024Updated 2 years ago
- AES-GEM (AES Galois Extended Mode) implementation.☆14May 19, 2026Updated 5 months 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.
- Property-based testing for Lean via metaprogramming☆16Jul 23, 2026Updated 3 months ago
- ☆53Mar 12, 2026Updated 8 months ago
- ☆15Mar 15, 2023Updated 3 years ago
- Formal Verification for Ethereum☆11Oct 29, 2026Updated 2 weeks ago
- A multisig Wallet for the Cardano Ecosystem☆11Sep 5, 2026Updated 2 months ago
- A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reas…☆55Nov 24, 2024Updated last year
- Up-to-date wallet support tables for cip30 (dApp connector) support☆15Oct 4, 2023Updated 3 years ago
- ☆25Updated this week
- ☆24Apr 9, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆15Aug 19, 2026Updated 2 months ago
- A Lean library for descriptive complexity: NP-completeness and the polynomial hierarchy by first-order reductions, stronger than polynomi…☆16Updated this week
- The ledger implementation and specifications of the Cardano blockchain.☆298Updated this week
- ☆10Dec 18, 2017Updated 8 years ago
- This repository contains the full open-source release of Spiketon miniature linear actuators, designed for robotics, space exploration, m…☆14Oct 12, 2025Updated last year
- A Purescript library for building smart contract transactions on Cardano☆92Oct 28, 2026Updated 2 weeks ago
- A library for writing Fuzzers for property-based testing in Aiken☆11Sep 26, 2026Updated last month
Are these results useful?