Functionally

crypto-lean4

Implementation of various cryptographic functions in Lean4

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-ici

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

ouroboros-lean4

Ouroboros protocols in Lean4

pigy-delegation

This repository has been relocated to https://github.com/pigytoken/pigy-delegation/.

pigy-genetics

A simple genetics game using PIGY tokens on Cardano.

plutus-onchain

Miscellaneous functions for use in Plutus validators.

functionally/crypto-lean4

Implementation of various cryptographic functions in Lean4

functionally/local-cardano-service-configs

functionally/marlowe-ici

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

functionally/ouroboros-lean4

Ouroboros protocols in Lean4

functionally/infovis-parallel

functionally/kafka-device

functionally/kafka-device-spacenav

functionally/leap-tracker

functionally/color-counter

functionally/distributed-process-simplewidenet

functionally/handa-opengl

functionally/hleap

functionally/infovis-unity

functionally/iog-agda-prelude

functionally/ipfs-jwe

JWE for IPFS

functionally/kafka-device-joystick

functionally/kafka-device-leap

functionally/kafka-device-vrpn

functionally/marlowe

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

functionally/marlowe-cardano

Marlowe smart contract language Cardano implementation

functionally/marlowe-clean

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

functionally/marlowe-doc

Documentation of the Marlowe language and ecosystem

functionally/marlowe-plutus

Plutus validators for the Marlowe financial contract DSL

functionally/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.

functionally/marlowe-stat

Scripts to compute and publish statistics for Marlowe contracts on public networks.

functionally/nix-derivations

functionally/opengl-dlp-stereo

functionally/opengl-spacenavigator

functionally/tango-infovis

functionally/vrpn