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 51 repositories
  • noir-env Public

    A Nix development environment with Noir and related ZK tools.

    functionally/noir-env’s past year of commit activity
    Nix 0 MIT 0 0 0 Updated Dec 7, 2025
  • local-cardano-service-configs Public
    functionally/local-cardano-service-configs’s past year of commit activity
    Shell 2 0 0 0 Updated Dec 1, 2025
  • ep133-lean4 Public

    Lean4 tools for the EP-133 K.O. II sampler composer

    functionally/ep133-lean4’s past year of commit activity
    Lean 1 MIT 0 0 0 Updated Nov 17, 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 Sep 16, 2025
  • nix-derivations Public
    functionally/nix-derivations’s past year of commit activity
    Nix 0 0 0 0 Updated Sep 5, 2025
  • nacatgunma Public

    An experimental blockchain that supports fluid consensus.

    functionally/nacatgunma’s past year of commit activity
    Go 2 MIT 0 0 0 Updated Jul 10, 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 3 MIT 0 11 0 Updated Dec 29, 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
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…