Skip to content
@Anastasia-Labs

Anastasia Labs

Haskell Web3 Consultancy

Popular repositories Loading

  1. lucid-evolution lucid-evolution Public

    Highly scalable, production-ready transaction builder & off-chain framework for users and dApps

    TypeScript 59 25

  2. design-patterns design-patterns Public

    Haskell 40 8

  3. aiken-design-patterns aiken-design-patterns Public

    A collection of tried and tested modules and functions for implementing common design patterns in Aiken

    Shell 35 11

  4. coq-uplc coq-uplc Public

    Coq 12

  5. lucid lucid Public

    Forked from spacebudz/lucid

    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 7 3

  6. bridge-template bridge-template Public

    This template enables the bridging or wrapping of tokens from other chains onto the Cardano network, allowing for seamless interoperability.

    Haskell 4 3

Repositories

Showing 10 of 48 repositories
  • 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.

    Anastasia-Labs/payment-subscription’s past year of commit activity
    2 1 0 2 Updated Jan 24, 2025
  • payment-subscription-offchain Public

    An off-chain SDK for the payment subscription smart contract

    Anastasia-Labs/payment-subscription-offchain’s past year of commit activity
    TypeScript 1 0 0 2 Updated Jan 24, 2025
  • opshin-audit Public
    Anastasia-Labs/opshin-audit’s past year of commit activity
    Typst 0 2 0 2 Updated Jan 23, 2025
  • money-kit-ui Public
    Anastasia-Labs/money-kit-ui’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Jan 22, 2025
  • lucid-evolution Public

    Highly scalable, production-ready transaction builder & off-chain framework for users and dApps

    Anastasia-Labs/lucid-evolution’s past year of commit activity
    TypeScript 59 25 13 4 Updated Jan 21, 2025
  • aiken-design-patterns Public

    A collection of tried and tested modules and functions for implementing common design patterns in Aiken

    Anastasia-Labs/aiken-design-patterns’s past year of commit activity
    Shell 35 MIT 11 0 1 Updated Jan 18, 2025
  • project-close-out-reports Public
    Anastasia-Labs/project-close-out-reports’s past year of commit activity
    Typst 0 0 0 1 Updated Jan 6, 2025
  • formal-verification Public
    Anastasia-Labs/formal-verification’s past year of commit activity
    1 MIT 0 0 0 Updated Jan 5, 2025
  • aiken-multisig-offchain Public
    Anastasia-Labs/aiken-multisig-offchain’s past year of commit activity
    TypeScript 1 0 0 0 Updated Jan 4, 2025
  • smart-handles-agent Public

    Monitoring CLI application generator for smart handles instances on Cardano

    Anastasia-Labs/smart-handles-agent’s past year of commit activity
    TypeScript 0 0 0 0 Updated Jan 2, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…