Projects in Awesome Lists by functionally
A curated list of projects in awesome lists by functionally .
https://github.com/functionally/crypto-lean4
Implementation of various cryptographic functions in Lean4
cryptography elliptic-curves lean4
Last synced: 30 Jun 2025
https://github.com/functionally/marlowe-ici
This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.
cardano ipfs ipld marlowe webrtc-star
Last synced: 24 Feb 2025
https://github.com/functionally/deltaq-jupyter
Jupyter kernel for DeltaQ
delta-qsd jupyter network simulation
Last synced: 14 May 2025
https://github.com/functionally/ouroboros-leios.env
Development environment for Ouroboros Leios
Last synced: 24 Feb 2025
https://github.com/functionally/ouroboros-lean4
Ouroboros protocols in Lean4
blockchain formal-methods lean4 ouroboros
Last synced: 28 Oct 2025
https://github.com/functionally/marlowe-clean
Scripts for find and advance all Marlowe transactions that have timed out.
Last synced: 24 Feb 2025
https://github.com/functionally/marlowe-stat
Scripts to compute and publish statistics for Marlowe contracts on public networks.
Last synced: 24 Feb 2025