Skip to content

@pragma-org PRAGMA

Change the repository type filter

All

    Repositories list

    13 repositories

    • amaru

      Public
      A fully open source node client for Cardano, written in Rust
      sdkcardanocardano-node
      sdkcardanocardano-node
      Rust
      •
      Apache License 2.0
      •26•102•87•12•Updated Jun 15, 2026Jun 15, 2026

    • uplc

      Public archive
      A bump allocated UPLC evaluator
      rustcardanountyped-plutus-core
      rustcardanountyped-plutus-core
      Rust
      •
      Apache License 2.0
      •10•10•0•0•Updated Jun 11, 2026Jun 11, 2026

    • website

      Public
      Astro
      •
      Apache License 2.0
      •3•0•0•1•Updated Jun 6, 2026Jun 6, 2026

    • board

      Public
      0•0•0•4•Updated Jun 4, 2026Jun 4, 2026

    • amaru-treasury

      Public
      A smart contract for managing Amaru's treasury
      Aiken
      •
      Apache License 2.0
      •2•5•1•1•Updated May 22, 2026May 22, 2026

    • PDRs

      Public
      Pragma Decision Records
      0•4•0•1•Updated Mar 9, 2026Mar 9, 2026

    • project-committee

      Public
      2•0•0•5•Updated Feb 24, 2026Feb 24, 2026

    • db-server

      Public
      A ReST-ish server to expose Cardano-node's DB
      Haskell
      •
      Apache License 2.0
      •0•0•1•1•Updated Oct 8, 2025Oct 8, 2025

    • mnemos

      Public
      Templates and other reusable documents
      0•3•1•0•Updated Sep 16, 2025Sep 16, 2025

    • simulation-testing

      Public
      Simulation testing Cardano node(s)
      Haskell
      •1•3•0•0•Updated Sep 9, 2025Sep 9, 2025

    • pop

      Public archive
      Track software lifecycle on Cardano
      0•1•0•0•Updated Mar 25, 2025Mar 25, 2025

    • ouroboros

      Public archive
      Blockchain-agnostic implementations of the Ouroboros consensus families.
      Rust
      •1•4•0•0•Updated Dec 6, 2024Dec 6, 2024

    • .github

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