luna (haskell-monad)

haskell-monad

Geek Repo

Location:China Beijing

Home Page:https://haskell-monad.github.io/blog

Github PK Tool:Github PK Tool

luna's repositories

aada-finance

Aada is a decentralized lending and borrowing protocol built with Plutus smart contract

Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

ADABlobs

This repository is for the ADABlobs website

Language:JavaScriptStargazers:0Issues:0Issues:0

anansi

A simple MVC web framework for Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

Blend_My_NFTs

Easily generate thousands of 3D models, images, and animation NFTs automatically in Blender with Blend_My_NFTs.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

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

cardano_wallet_sdk

Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.

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

contracts

😻 Minswap open-source and verifiable smart contracts

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

developer-portal

The Cardano Developer Portal

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskell-course

This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:SCSSLicense:MITStargazers:0Issues:1Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0

hydra

Implementation of the Hydra Head protocol

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

lucid

Lucid is a library, which allows you to create Cardano transactions and off-chain code for your Plutus contracts in JavaScript, Deno and Node.js.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

master

This is an Open-Source, community-driven project for the creation of a documentation hub for Raspberry Pi and ARM Cardano Stake Pool Operators.

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

mesh

An open-source library to advance Web3 development on Cardano

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

plutarch

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

plutus-extra

Helper libraries for Plutus.

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

plutus-starter

A starter project for Plutus apps

Language:NixLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:SolidityStargazers:0Issues:0Issues:0

status-keycard

Our Javacard Implementation for making secure transactions within Status and Ethereum

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

three.js

JavaScript 3D Library.

License:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

tokenomia

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

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