Skip to content

@functionally Functionally

Change the repository type filter

All

    Repositories list

    47 repositories

    • crypto-lean4

      Public
      Implementation of various cryptographic functions in Lean4
      cryptographyelliptic-curveslean4
      Lean
      •
      MIT License
      •0•2•11•0•Updated Dec 29, 2024Dec 29, 2024

    • deltaq-jupyter

      Public
      Jupyter kernel for DeltaQ
      jupytersimulationnetworkdelta-qsd
      Nix
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Dec 23, 2024Dec 23, 2024

    • ouroboros-leios.env

      Public
      Development environment for Ouroboros Leios
      cardano
      Nix
      •
      Apache License 2.0
      •0•1•0•0•Updated Dec 9, 2024Dec 9, 2024

    • nix-derivations

      Public
      Nix
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • ouroboros-lean4

      Public
      Ouroboros protocols in Lean4
      blockchainformal-methodsouroboroslean4
      Lean
      •
      MIT License
      •0•1•0•0•Updated Oct 11, 2024Oct 11, 2024

    • iog-agda-prelude

      Public
      Agda
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 9, 2024Aug 9, 2024

    • ipfs-jwe

      Public
      JWE for IPFS
      Go
      •0•0•0•0•Updated Jul 21, 2024Jul 21, 2024

    • local-cardano-service-configs

      Public
      Shell
      •0•2•0•0•Updated May 25, 2024May 25, 2024

    • marlowe-cardano

      Public
      Marlowe smart contract language Cardano implementation
      Haskell
      •
      Apache License 2.0
      •46•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • marlowe

      Public
      Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
      Isabelle
      •
      Apache License 2.0
      •43•0•0•0•Updated Jan 29, 2024Jan 29, 2024

    • marlowe-clean

      Public
      Scripts for find and advance all Marlowe transactions that have timed out.
      Nix
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 28, 2024Jan 28, 2024

    • marlowe-stat

      Public
      Scripts to compute and publish statistics for Marlowe contracts on public networks.
      R
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 28, 2024Jan 28, 2024

    • marlowe-ici

      Public
      This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.
      ipfsipldcardanomarlowewebrtc-star
      Haskell
      •
      Apache License 2.0
      •0•2•0•0•Updated Jan 28, 2024Jan 28, 2024

    • marlowe-plutus

      Public
      Plutus validators for the Marlowe financial contract DSL
      Haskell
      •
      Apache License 2.0
      •1•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • marlowe-doc

      Public
      Documentation of the Marlowe language and ecosystem
      MDX
      •
      Apache License 2.0
      •3•0•0•0•Updated Jan 20, 2024Jan 20, 2024

    • marlowe-starter-kit

      Public
      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.
      Jupyter Notebook
      •
      Apache License 2.0
      •15•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • infovis-parallel

      Public
      Haskell
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • infovis-unity

      Public
      C#
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • kafka-device-leap

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • color-counter

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • opengl-dlp-stereo

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • opengl-spacenavigator

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • distributed-process-simplewidenet

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • leap-tracker

      Public
      C++
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • tango-infovis

      Public
      Java
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • handa-opengl

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • vrpn

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • hleap

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • kafka-device-vrpn

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022

    • kafka-device

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 10, 2022Nov 10, 2022