functionally Goto Github PK

color-counter

crypto-lean4

Implementation of various cryptographic functions in Lean4

daft

distributed-process-simplewidenet

graft

handa-opengl

haquil

hleap

infovis-parallel

infovis-unity

iog-agda-prelude

ipfs-jwe

JWE for IPFS

kafka-device

kafka-device-glut

kafka-device-joystick

kafka-device-leap

kafka-device-spacenav

kafka-device-vrpn

leap-tracker

local-cardano-service-configs

mantis

This tool provides several script-oriented utilities for the Cardano blockchain. In particular, it posts metadata or mints/burns tokens. It can also generate scripts, compute script addresses, compute the fingerprint of a token, and download scripts.

mantis-oracle

This Cardano oracle reports structured data to a transaction if the fee, as a quantity of a fungible token, is paid. It can be incorporated into other smart-contract scripts that use the oracle's value in their validation logic.

mantis.functionally.io

An oracle for the Cardano blockchain.

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

marlowe-cardano

Marlowe smart contract language Cardano implementation

marlowe-clean

Scripts for find and advance all Marlowe transactions that have timed out.

marlowe-doc

Documentation of the Marlowe language and ecosystem

marlowe-ici

This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.

marlowe-plutus

Plutus validators for the Marlowe financial contract DSL

marlowe-starter-kit

This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marlowe Runtime.