Skip to content
@mlabs-haskell

MLabs

Haskell, Rust, FinTech and AI Consultancy

Popular repositories Loading

  1. awesome-plutus awesome-plutus Public

    75 14

  2. plutip plutip Public

    A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

    Haskell 55 24

  3. plutus-simple-model plutus-simple-model Public

    Unit testing with resource estimation for Plutus

    Haskell 31 17

  4. lambda-buffers lambda-buffers Public

    LambdaBuffers toolkit for sharing types and their semantics between different languages

    Haskell 29

  5. bot-plutus-interface bot-plutus-interface Public

    Unofficial PAB implementation

    Haskell 21 12

  6. cardano-open-oracle-protocol cardano-open-oracle-protocol Public

    COOP - Cardano open oracle protocol

    Haskell 21 3

Repositories

Showing 10 of 209 repositories
  • tx-village Public

    Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

    mlabs-haskell/tx-village’s past year of commit activity
    Rust 3 Apache-2.0 0 7 2 Updated Jul 24, 2024
  • cardanow Public
    mlabs-haskell/cardanow’s past year of commit activity
    Nix 2 Apache-2.0 0 17 0 Updated Jul 24, 2024
  • purus Public

    A work-in-progress PureScript to Plutus Core compiler

    mlabs-haskell/purus’s past year of commit activity
    Haskell 7 0 6 7 Updated Jul 24, 2024
  • clb Public

    Cardano Ledger Backend (next-gen PSM)

    mlabs-haskell/clb’s past year of commit activity
    Haskell 7 1 10 1 Updated Jul 23, 2024
  • atlas Public Forked from geniusyield/atlas

    Application backend for Plutus smart contracts on Cardano

    mlabs-haskell/atlas’s past year of commit activity
    Haskell 0 Apache-2.0 15 0 5 Updated Jul 23, 2024
  • purescript-cardano-transaction-builder Public

    Declarative transaction builder API for cardano-transaction-lib

    mlabs-haskell/purescript-cardano-transaction-builder’s past year of commit activity
    Nix 1 0 0 0 Updated Jul 23, 2024
  • purescript-cardano-types Public

    Domain types for Cardano

    mlabs-haskell/purescript-cardano-types’s past year of commit activity
    PureScript 6 1 3 3 Updated Jul 23, 2024
  • cardano.nix Public

    Nix ❤️ Cardano

    mlabs-haskell/cardano.nix’s past year of commit activity
    Nix 2 0 10 4 Updated Jul 23, 2024
  • GRANDPA-formal-verification Public

    Formal verification with the proof approach of the GRANDPA algorithm, a key algorithm of Polkadot

    mlabs-haskell/GRANDPA-formal-verification’s past year of commit activity
    HTML 0 Apache-2.0 0 16 1 Updated Jul 23, 2024
  • hydra-auction-frontend Public
    mlabs-haskell/hydra-auction-frontend’s past year of commit activity
    TypeScript 2 Apache-2.0 0 0 2 Updated Jul 22, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…