MLabs (mlabs-haskell)

MLabs

mlabs-haskell

Geek Repo

Haskell, Rust, FinTech and AI Consultancy

Location:United Kingdom

Home Page:https://mlabs.city

Github PK Tool:Github PK Tool

MLabs's repositories

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.

Language:HaskellLicense:Apache-2.0Stargazers:54Issues:13Issues:61

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Language:HaskellLicense:Apache-2.0Stargazers:27Issues:18Issues:50

purescript-aeson

Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)

purescript-cardano-types

Domain types for Cardano

Language:PureScriptStargazers:5Issues:0Issues:0

flake-lang.nix

Nix tools powering polyglot repositories

Language:NixLicense:Apache-2.0Stargazers:4Issues:0Issues:0

lambda-buffers-for-cardano

LambdaBuffers Cardano Demo

purus

A work-in-progress PureScript to Plutus Core compiler

Language:HaskellLicense:NOASSERTIONStargazers:4Issues:6Issues:1

proto.nix

Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.

godot-cardano

Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain

Language:RustStargazers:2Issues:0Issues:0
Language:PureScriptLicense:Apache-2.0Stargazers:2Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:2Issues:0Issues:0

orcfax-coop

COOP - Cardano open oracle protocol

Language:Common LispLicense:Apache-2.0Stargazers:2Issues:0Issues:0

purescript-cip30

Purescript interface to Cardano wallets over FFI to Cip30

Language:PureScriptStargazers:2Issues:0Issues:0

Tuxedo

Write UTXO-based Substrate Runtimes

Language:RustLicense:Apache-2.0Stargazers:2Issues:2Issues:0

TuxedoDapp

Cryptokitties on Polkadot using UTXO

Language:TypeScriptLicense:Apache-2.0Stargazers:2Issues:0Issues:0

cardano.nix

Nix ❤️ Cardano

Language:NixLicense:Apache-2.0Stargazers:1Issues:6Issues:23

purescript-bytearrays

ByteArray utilities

Language:NixStargazers:1Issues:0Issues:0

purescript-cardano-hd-wallet

PureScript impl of CIP-1852 (Hierarchical Determistic Wallets for Cardano) - using cardano-serialization-lib

Language:NixStargazers:1Issues:0Issues:0

purescript-cardano-message-signing

A PureScript adapter for @mlabs-haskell/cardano-message-signing

Language:NixStargazers:1Issues:0Issues:0

purescript-cardano-plutus-data-schema

Type-level schemas that let one define PlutusData encodings for PureScript algebraic data types

Language:PureScriptStargazers:1Issues:0Issues:0

simple-haskell-nix

Simple & lightweight nix utilities for haskell.nix

Language:NixLicense:MITStargazers:1Issues:0Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:1Issues:4Issues:12

DeNS

Decentralized Name System

Language:NixLicense:GPL-3.0Stargazers:0Issues:5Issues:7

plutus-ledger-api-typescript

Plutus Ledger API types for TypeScript

Language:TypeScriptStargazers:0Issues:19Issues:0

plutus-test

Haskell Plutus testing utilities

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

prelude-typescript

A Prelude for TypeScript

Language:TypeScriptStargazers:0Issues:17Issues:0

purescript-plutus-types

Some Cardano Plutus domain types ported to PureScript

Language:NixStargazers:0Issues:0Issues:0

uplc-apply-args

Package used to publish `uplc-applyArgs-[browser|nodejs]` npm packages - dependencies of ctl.

Language:RustStargazers:0Issues:6Issues:0
Language:RustStargazers:0Issues:0Issues:0