An open API service indexing awesome lists of open source software.

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

claude-code nixos podman

Last synced: 04 Jun 2026

https://github.com/functionally/ouroboros-leios.env

Development environment for Ouroboros Leios

cardano

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/graft

Last synced: 05 Jul 2025

https://github.com/functionally/hleap

Last synced: 14 Sep 2025

https://github.com/functionally/cyfryngwr

Agent for cwtch

Last synced: 20 Apr 2026

https://github.com/functionally/ssa

Last synced: 18 Jun 2026

https://github.com/functionally/haquil

Last synced: 16 May 2026

https://github.com/functionally/daft

Last synced: 25 Oct 2025

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

https://github.com/functionally/vrpn

Last synced: 16 Jun 2025