Skip to content
@functionally

Functionally

Repositories for @bwbush.

Pinned Loading

  1. mantis mantis Public archive

    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, comp…

    Haskell 12 1

  2. mantis-oracle mantis-oracle Public archive

    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 v…

    Haskell 9 3

  3. pigy-genetics pigy-genetics Public archive

    A simple genetics game using PIGY tokens on Cardano.

    Haskell 5

Repositories

Showing 10 of 46 repositories
  • ouroboros-leios.env Public

    Development environment for Ouroboros Leios

    functionally/ouroboros-leios.env’s past year of commit activity
    Nix 1 Apache-2.0 0 0 0 Updated Dec 9, 2024
  • nix-derivations Public
    functionally/nix-derivations’s past year of commit activity
    Nix 0 0 0 0 Updated Nov 28, 2024
  • ouroboros-lean4 Public

    Ouroboros protocols in Lean4

    functionally/ouroboros-lean4’s past year of commit activity
    Lean 1 MIT 0 0 0 Updated Oct 11, 2024
  • crypto-lean4 Public

    Implementation of various cryptographic functions in Lean4

    functionally/crypto-lean4’s past year of commit activity
    Lean 2 MIT 0 10 1 Updated Sep 18, 2024
  • iog-agda-prelude Public
    functionally/iog-agda-prelude’s past year of commit activity
    Agda 0 Apache-2.0 0 0 0 Updated Aug 9, 2024
  • ipfs-jwe Public

    JWE for IPFS

    functionally/ipfs-jwe’s past year of commit activity
    Go 0 0 0 0 Updated Jul 21, 2024
  • local-cardano-service-configs Public
    functionally/local-cardano-service-configs’s past year of commit activity
    Shell 2 0 0 0 Updated May 25, 2024
  • marlowe-cardano Public Forked from input-output-hk/marlowe-cardano

    Marlowe smart contract language Cardano implementation

    functionally/marlowe-cardano’s past year of commit activity
    Haskell 0 Apache-2.0 47 0 0 Updated Jan 30, 2024
  • marlowe Public Forked from input-output-hk/marlowe

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

    functionally/marlowe’s past year of commit activity
    Isabelle 0 Apache-2.0 45 0 0 Updated Jan 29, 2024
  • marlowe-clean Public

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

    functionally/marlowe-clean’s past year of commit activity
    Nix 0 Apache-2.0 0 0 0 Updated Jan 28, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…