Skip to content

@Anastasia-Labs Anastasia Labs

Change the repository type filter

All

    Repositories list

    49 repositories

    • opshin-audit

      Public
      Typst
      •2•0•0•1•Updated Feb 26, 2025Feb 26, 2025

    • payment-subscription-offchain

      Public
      An off-chain SDK for the payment subscription smart contract
      TypeScript
      •0•1•0•2•Updated Feb 25, 2025Feb 25, 2025

    • lucid-evolution

      Public
      Highly scalable, production-ready transaction builder & off-chain framework for users and dApps
      TypeScript
      •30•68•35•4•Updated Feb 25, 2025Feb 25, 2025

    • hydra-manager

      Public
      An intuitive toolkit to interact and stress Hydra heads
      TypeScript
      •0•0•0•0•Updated Feb 25, 2025Feb 25, 2025

    • payment-subscription

      Public
      A Payments Subscription Smart Contract developed in Aiken, to facilitate automated recurring payments between Subscribers and Merchants on the Cardano blockchain. This smart contract will enable users to set up, manage, and cancel subscriptions directly from their wallets.
      1•2•0•1•Updated Feb 24, 2025Feb 24, 2025

    • formal-verification

      Public
      MIT License
      •0•1•0•0•Updated Feb 22, 2025Feb 22, 2025

    • coq-uplc

      Public
      Coq
      •
      MIT License
      •0•13•1•0•Updated Feb 22, 2025Feb 22, 2025

    • aiken-design-patterns

      Public
      A collection of tried and tested modules and functions for implementing common design patterns in Aiken
      Shell
      •
      MIT License
      •11•38•0•1•Updated Feb 18, 2025Feb 18, 2025

    • project-close-out-reports

      Public
      Typst
      •0•0•0•1•Updated Jan 31, 2025Jan 31, 2025

    • smart-handles-offchain

      Public
      Off-chain code for smart handles
      TypeScript
      •
      MIT License
      •0•1•0•0•Updated Jan 27, 2025Jan 27, 2025

    • money-kit-ui

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Jan 22, 2025Jan 22, 2025

    • aiken-multisig-offchain

      Public
      TypeScript
      •0•1•0•0•Updated Jan 4, 2025Jan 4, 2025

    • smart-handles-agent

      Public
      Monitoring CLI application generator for smart handles instances on Cardano
      TypeScript
      •0•0•0•0•Updated Jan 2, 2025Jan 2, 2025

    • high-quality-japanese-translation

      Public
      MIT License
      •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • design-patterns

      Public
      Haskell
      •8•42•38•0•Updated Dec 13, 2024Dec 13, 2024

    • aiken-upgradable-multisig

      Public
      An upgradable multisignature (multisig) smart contract in Aiken that enables authorized members to execute asset transactions within predefined thresholds. This contract should demonstrate secure spending of assets, seamless adjustment of signer thresholds, and dynamic addition or removal of signers for enduring usability
      0•4•0•1•Updated Dec 2, 2024Dec 2, 2024

    • cardano-multiplatform-lib

      Public
      Rust implementation of Cardano
      Rust
      •
      MIT License
      •37•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • smart-handles

      Public
      Smart contract routing for handles.
      Haskell
      •
      MIT License
      •2•1•15•1•Updated Nov 20, 2024Nov 20, 2024

    • linear-vesting-offchain

      Public
      TypeScript
      •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • mithril

      Public
      Stake-based threshold multi-signatures protocol
      Rust
      •
      Apache License 2.0
      •41•0•0•0•Updated Nov 1, 2024Nov 1, 2024

    • direct-offer-offchain

      Public
      TypeScript
      •
      MIT License
      •0•0•2•0•Updated Oct 16, 2024Oct 16, 2024

    • single-asset-staking-offchain

      Public
      TypeScript
      •0•0•2•0•Updated Oct 15, 2024Oct 15, 2024

    • gamechanger.wallet

      Public
      The cutting edge, non-custodial, web meta wallet for Cardano. Easy to use for starters, full development environment for advanced users and developers. URL and JSON based universal dapp connector, multisig, multi-account, multi-transaction multi-outputs, friendly graphics. The wallet for freedom, the wallet for people.
      HTML
      •
      MIT License
      •4•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • ecosystem-marketplace

      Public
      A project specific ecosystem marketplace, where Cardano NFTs can be traded using the project's own fungible token.
      TypeScript
      •
      Apache License 2.0
      •4•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • plu-ts

      Public
      An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
      TypeScript
      •
      Apache License 2.0
      •21•0•0•0•Updated Sep 1, 2024Sep 1, 2024

    • plutarch-design-patterns

      Public
      Haskell
      •
      MIT License
      •1•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • lucid

      Public
      Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.
      Rust
      •
      MIT License
      •141•8•0•1•Updated Aug 5, 2024Aug 5, 2024

    • coq-plutus

      Public
      0•0•0•0•Updated Jul 26, 2024Jul 26, 2024

    • discovery

      Public
      Price Discovery Event
      Haskell
      •
      Other
      •4•3•1•0•Updated Jul 18, 2024Jul 18, 2024

    • single-asset-staking

      Public
      Haskell
      •
      MIT License
      •3•0•1•0•Updated Jul 16, 2024Jul 16, 2024