Skip to content

@Anastasia-Labs Anastasia Labs

All

    Repositories list

    69 repositories

    • plutarch-design-patterns

      Public
      Haskell
      •
      MIT License
      •1•0•0•1•Updated Sep 7, 2026Sep 7, 2026

    • midgard

      Public
      Aiken
      •
      Apache License 2.0
      •10•25•95•29•Updated Sep 4, 2026Sep 4, 2026

    • aiken-design-patterns

      Public
      A collection of tried and tested modules and functions for implementing common design patterns in Aiken
      Aiken
      •
      MIT License
      •18•54•0•1•Updated Sep 4, 2026Sep 4, 2026

    • lucid-evolution

      Public
      A highly scalable, production-ready transaction builder and off-chain framework for dApps and devs on Cardano.
      TypeScript
      •
      MIT License
      •51•88•83•3•Updated Sep 4, 2026Sep 4, 2026

    • midgard-explorer

      Public
      PoC block explorer for Midgard L2
      Other
      •0•0•0•2•Updated Sep 3, 2026Sep 3, 2026

    • proof-tool

      Public
      Proof tool webapp for proving ownership of public key from master private key.
      Go
      •
      Apache License 2.0
      •3•1•1•7•Updated Sep 1, 2026Sep 1, 2026

    • proof-tool-release

      Public
      Binary of local prover for ownership of a given public key credential.
      0•0•0•0•Updated Aug 29, 2026Aug 29, 2026

    • aiken

      Public
      Anastasia Labs fork of the Aiken compiler — Midgard deployed-script identity compiler (pinned at tag midgard-2a78108c)
      Rust
      •
      Apache License 2.0
      •0•0•0•9•Updated Aug 27, 2026Aug 27, 2026

    • Lean-blaster

      Public
      SMT-based reasoning core for Lean4
      Lean
      •
      Apache License 2.0
      •11•0•0•0•Updated Aug 11, 2026Aug 11, 2026

    • cardano-multiplatform-lib

      Public
      Rust implementation of Cardano
      Rust
      •
      MIT License
      •36•0•0•0•Updated Aug 5, 2026Aug 5, 2026

    • CardanoLedgerApiBlaster

      Public
      Cardano Ledger Api providing the necessary types and predicates to prove Plutus smart contracts with Blaster
      Lean
      •
      Apache License 2.0
      •2•0•0•0•Updated Aug 4, 2026Aug 4, 2026

    • wsc-blaster

      Public
      Blaster formalizations of properties of the Plutarch implementation of programmable token.
      Lean
      •
      Apache License 2.0
      •0•0•0•1•Updated Jul 31, 2026Jul 31, 2026

    • PlutusCoreBlaster

      Public
      Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage
      Lean
      •
      Apache License 2.0
      •6•0•0•0•Updated Jul 28, 2026Jul 28, 2026

    • multi-proposal-voter

      Public
      Allow dReps to cast their vote on multiple proposals, using one wallet to pay fees and receive change, and a separate wallet to sign with their dRep credential.
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Jul 18, 2026Jul 18, 2026

    • merkle-patricia-forestry

      Public
      🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.
      JavaScript
      •
      Mozilla Public License 2.0
      •15•0•0•1•Updated Jul 15, 2026Jul 15, 2026

    • lace

      Public
      The Lace Wallet.
      TypeScript
      •
      Apache License 2.0
      •27•0•2•2•Updated Apr 14, 2026Apr 14, 2026

    • design-patterns

      Public
      Aiken
      •
      MIT License
      •10•52•38•1•Updated Mar 12, 2026Mar 12, 2026

    • plutus-core-abi

      Public
      A DSL that compiles to a compact byte representation of constraints which provides all the information required to programmatically construct transactions which…
      MIT License
      •0•2•0•0•Updated Jan 6, 2026Jan 6, 2026

    • cardano-typed-signing

      Public
      EIP-712 style typed structured data signing for Cardano
      0•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • zk-accelerate

      Public
      0•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • project-close-out-reports

      Public
      Typst
      •1•0•4•2•Updated Oct 3, 2025Oct 3, 2025

    • opshin-audit

      Public
      Typst
      •2•0•2•1•Updated Oct 3, 2025Oct 3, 2025

    • moneykit

      Public
      Anastasia Labs X MoneyKit - Transaction Manifests & FinTech Platform Integration for Cardano
      TypeScript
      •
      MIT License
      •1•0•4•0•Updated Jul 3, 2025Jul 3, 2025

    • zk-bridge

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Jun 4, 2025Jun 4, 2025

    • create-evolution-app

      Public
      Evolution App Starter Kit (Next.js 15)
      TypeScript
      •3•5•0•1•Updated Jun 3, 2025Jun 3, 2025

    • transaction_building

      Public
      Example implementations of mermaid and Typst transaction building.
      Typst
      •0•0•0•0•Updated May 24, 2025May 24, 2025

    • payment-subscription-offchain

      Public
      An off-chain SDK for the payment subscription smart contract
      TypeScript
      •2•3•0•0•Updated May 6, 2025May 6, 2025

    • aiken-upgradable-multisig

      Public
      An upgradable multisignature (multisig) smart contract in Aiken that enables authorized members to execute asset transactions within predefined thresholds. This…
      2•4•0•0•Updated May 5, 2025May 5, 2025

    • linear-vesting

      Public
      Haskell
      •
      MIT License
      •7•3•1•0•Updated May 3, 2025May 3, 2025

    • linear-vesting-offchain

      Public
      TypeScript
      •1•0•0•0•Updated May 2, 2025May 2, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.