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: 03 Feb 2026
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: 16 May 2026
https://github.com/functionally/claude-env
Efficient podman-based and nix-enabled environment for Claude Code
Last synced: 04 Jun 2026
https://github.com/functionally/ouroboros-leios.env
Development environment for Ouroboros Leios
Last synced: 13 May 2026
https://github.com/functionally/deltaq-jupyter
Jupyter kernel for DeltaQ
delta-qsd jupyter network simulation
Last synced: 29 Apr 2026
https://github.com/functionally/ouroboros-lean4
Ouroboros protocols in Lean4
blockchain formal-methods lean4 ouroboros
Last synced: 15 Jun 2026
https://github.com/functionally/marlowe-clean
Scripts for find and advance all Marlowe transactions that have timed out.
Last synced: 18 May 2026
https://github.com/functionally/noir-env
A Nix development environment with Noir and related ZK tools.
circom-language nix-flake noir-lang snarks zk
Last synced: 22 Jan 2026
https://github.com/functionally/marlowe-stat
Scripts to compute and publish statistics for Marlowe contracts on public networks.
Last synced: 14 May 2026