Projects in Awesome Lists by mlabs-haskell
A curated list of projects in awesome lists by mlabs-haskell .
https://github.com/mlabs-haskell/plutip
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.
Last synced: 10 Oct 2025
https://github.com/mlabs-haskell/lambda-buffers
LambdaBuffers toolkit for sharing types and their semantics between different languages
cardano code-generation flake-parts haskell nix plutarch plutus protocol-buffers purescript rust types
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/plutus-simple-model
Unit testing with resource estimation for Plutus
Last synced: 04 Oct 2025
https://github.com/mlabs-haskell/cardano-open-oracle-protocol
COOP - Cardano open oracle protocol
cardano catalyst decentralization haskell nix oracle plutarch plutus
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/bot-plutus-interface
Unofficial PAB implementation
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/ply
A helper library for working with compiled, parameterized Plutus Scripts
Last synced: 07 Sep 2025
https://github.com/mlabs-haskell/cardano-dev-wallet
A browser-based Cardano wallet for developers & testers
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/cardano-purescript
Overview of PureScript libraries/tools for Cardano
Last synced: 01 Mar 2026
https://github.com/mlabs-haskell/the-plutus-scaffold
Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build systems and scripts needed to scaffold a plutus project quickly.
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/mlabs-tooling.nix
A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.
Last synced: 01 May 2025
https://github.com/mlabs-haskell/proto.nix
Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.
Last synced: 25 Oct 2025
https://github.com/mlabs-haskell/purus
A work-in-progress PureScript to Plutus Core compiler
Last synced: 25 Jun 2025
https://github.com/mlabs-haskell/hydra-auction
An auction system running on Hydra L2 solution
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/seabug
Combined components for Seabug deployment
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/purescript-aeson
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/flake-lang.nix
Nix tools powering polyglot repositories
haskell monorepo nix purescript rust typescript
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/purescript-cardano-types
Domain types for Cardano
Last synced: 03 Jan 2026
https://github.com/mlabs-haskell/catalyst-funded-projects
One-stop repo for progress reports and information on our projects funded through Project Catalyst
Last synced: 02 Jan 2026
https://github.com/mlabs-haskell/lambda-buffers-for-cardano
LambdaBuffers Cardano Demo
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/ghappy
A utility to pull issues and create Audit Reports.
Last synced: 11 Jul 2025
https://github.com/mlabs-haskell/cardano-data-lite
Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/cardano-serialization-lib-gc
cardano-serialization-lib with custom garbage collector for WASM
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/spo-anywhere
Install Cardano nodes anywhere with the help of NixOS
Last synced: 02 Apr 2026
https://github.com/mlabs-haskell/plutus-partial-tx
Effortless BPI + Lucid production PAB that reuses Haskell Contracts
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/purescript-cardano-message-signing
A PureScript adapter for @mlabs-haskell/cardano-message-signing
Last synced: 13 Feb 2026
https://github.com/mlabs-haskell/opc-xml-da-client
OPC XML-DA Client for Haskell
Last synced: 31 Jul 2025
https://github.com/mlabs-haskell/purescript-cip95
Low-level PureScript interface for CIP-95
Last synced: 04 Jan 2026
https://github.com/mlabs-haskell/cem-script
https://cardano.ideascale.com/c/idea/106740
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/minauth
MinaAuth is a library and accompanying set of Typescript packages making it easy to set up authentication/authorization based on zero-knowledge proof verification. The current functionality is focused on authorizing an HTTP API access with JWT tokens granted on providing valid zero-knowledge proofs.
authentication mina-protocol o1js passportjs typescript zksnarks
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/tuxedodapp
Cryptokitties on Polkadot using UTXO
Last synced: 15 Apr 2025
https://github.com/mlabs-haskell/snarky-purescript
Groundwork for embedding SnarkyJS into PureScript
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/godot-cardano
Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain
Last synced: 28 Jun 2025
https://github.com/mlabs-haskell/radix-simple-vote
Simple voting contract and frontend for Radix
blockchain dapp radix react rust scrypto smart-contracts typescript
Last synced: 19 Apr 2026
https://github.com/mlabs-haskell/purescript-plutus-types
Some Cardano Plutus domain types ported to PureScript
Last synced: 03 Jan 2026
https://github.com/mlabs-haskell/plutus-v2-contracts
Testing ECDSA secp256k1 and Schnorr signature validators
Last synced: 27 Jul 2025
https://github.com/mlabs-haskell/purescript-cardano-plutus-data-schema
Type-level schemas that let one define PlutusData encodings for PureScript algebraic data types
Last synced: 09 Feb 2026
https://github.com/mlabs-haskell/push-cache-effect
Demo showing how to use HerculesCi effect to push to an external cache.
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/purescript-cardano-hd-wallet
PureScript impl of CIP-1852 (Hierarchical Determistic Wallets for Cardano) - using cardano-serialization-lib
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/religant-integration-example
A simple dApp that fetches current price data from the Religant Oracle and writes it to the metadata field of a token (for testing, mainly)
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/seabug-onchain
Seabug onchain contracts taken from plutus-use-cases
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/plutus-integer-bytestring
PoC implementation of Integer <-> ByteString conversions for Plutus
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/simple-haskell-nix
Simple & lightweight nix utilities for haskell.nix
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/plutus-secp256k1-interop
SECP256k1 signature scheme glue to interoperate with Plutus on-chain primitives
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/ytxp-sdk
This library includes YTxP types and instances for serialization, pretty printing, and testing.
Last synced: 09 Oct 2025
https://github.com/mlabs-haskell/c2uplc
Code generator for UPLC from Covenant IR
Last synced: 23 Jan 2026
https://github.com/mlabs-haskell/cardano-message-signing
Vendored version of @emurgo/cardano-message-signing
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/tx-bakery
Transaction builder written in Rust
Last synced: 16 Mar 2025
https://github.com/mlabs-haskell/purescript-tsd-gen
[Purescript-tsd-gen](https://github.com/minoki/purescript-tsd-gen) tool packaged as a flake.
Last synced: 10 Oct 2025
https://github.com/mlabs-haskell/grandpa-formal-verification
Formal verification with the proof approach of the GRANDPA algorithm, a key algorithm of Polkadot
Last synced: 03 Jan 2026
https://github.com/mlabs-haskell/purescript-noble-secp256k1
A thin PureScript wrapper over @noble/secp256k1
Last synced: 16 Mar 2025