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 49 repositories
  • nacatgunma Public

    An experimental blockchain that supports fluid consensus

    functionally/nacatgunma’s past year of commit activity
    Go 1 MIT 0 0 0 Updated May 19, 2025
  • deltaq-jupyter Public

    Jupyter kernel for DeltaQ

    functionally/deltaq-jupyter’s past year of commit activity
    Nix 1 BSD-3-Clause 0 0 0 Updated Apr 23, 2025
  • cyfryngwr Public

    Agent for cwtch

    functionally/cyfryngwr’s past year of commit activity
    Go 1 0 0 0 Updated Mar 2, 2025
  • 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 Jan 13, 2025
  • crypto-lean4 Public

    Implementation of various cryptographic functions in Lean4

    functionally/crypto-lean4’s past year of commit activity
    Lean 2 MIT 0 11 0 Updated Dec 29, 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
  • 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
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…
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy