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

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

Language:HaskellLicense:Apache-2.0Stargazers:29Issues:17Issues:53

ply

A helper library for working with compiled, parameterized Plutus Scripts

Language:HaskellLicense:MITStargazers:18Issues:15Issues:15

purescript-cardano-types

Domain types for Cardano

Language:PureScriptStargazers:6Issues:6Issues:3

purus

A work-in-progress PureScript to Plutus Core compiler

Language:HaskellLicense:NOASSERTIONStargazers:6Issues:5Issues:6

cardano-serialization-lib-gc

cardano-serialization-lib with custom garbage collector for WASM

Language:JavaScriptStargazers:4Issues:5Issues:0

flake-lang.nix

Nix tools powering polyglot repositories

Language:NixLicense:Apache-2.0Stargazers:4Issues:16Issues:10

proto.nix

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

purescript-cardano-serialization-lib

Pursecript library for cardano frontend types for emurgo/cardano-serialisation-lib

Language:PureScriptStargazers:4Issues:1Issues:1

cardano-data-lite

Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib

Language:TypeScriptStargazers:2Issues:5Issues:0
Language:NixLicense:Apache-2.0Stargazers:2Issues:6Issues:47

cem-script

https://cardano.ideascale.com/c/idea/106740

godot-cardano

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

Language:TypeScriptLicense:Apache-2.0Stargazers:2Issues:0Issues:0
Language:PureScriptLicense:Apache-2.0Stargazers:2Issues:9Issues:12

TuxedoDapp

Cryptokitties on Polkadot using UTXO

Language:TypeScriptLicense:Apache-2.0Stargazers:2Issues:4Issues:49
Language:HaskellLicense:Apache-2.0Stargazers:2Issues:0Issues:0

cardano.nix

Nix ❤️ Cardano

ogmios-nixos

NixOS module for Ogmios

Language:NixStargazers:1Issues:0Issues:0
Language:NixLicense:Apache-2.0Stargazers:1Issues:8Issues:19

plutus-ledger-api-rust

Plutus Ledger types and utilities implemented in Rust

Language:RustStargazers:0Issues:15Issues:5

atlas

Application backend for Plutus smart contracts on Cardano

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:JavaScriptLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

DeNS

Decentralized Name System

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

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

plutus-ledger-api-typescript

Plutus Ledger API types for TypeScript

Language:TypeScriptStargazers:0Issues:15Issues:1

prelude-typescript

A Prelude for TypeScript

Language:TypeScriptStargazers:0Issues:15Issues:1

purescript-cip95

Low-level PureScript interface for CIP-95

Language:NixStargazers:0Issues:0Issues:0

purescript-cip95-typesafe

Type-safe PureScript interface for CIP-95

Language:NixStargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

sc-tools

Select coins, build transactions

License:Apache-2.0Stargazers:0Issues:0Issues:0