bwbush

catalyst-assessment-analyses

Exploratory analyses of Catalyst CA assessments.

marlowe-ici

This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain.

local-cardano-service-configs

plutus-apps

The Plutus application platform

www.brianwbush.info

Source for https://www.brianwbush.info/.

graft

ghdid

go-ipfs

IPFS implementation in Go

go-textile

Textile is a set of tools and infrastructure for building composable apps and services on the IPFS network

haskell-companies

A gently curated list of companies using Haskell in industry

katesladen.com

Source for https://www.katesladen.com/

lean4-exercises

Worked solutions to exercises in Lean4 tutorial

lean4balancing

Using Lean4 to balance Marlowe transactions.

marlowe-cardano

Marlowe smart contract language Cardano implementation

marlowe-lean4

Marlowe DSL in Lean 4

openpgpkey.brianwbush.info

Serve openpgp keys.

openpgpkey.bwbush.io

Service for well-known directory with openpgp keys.

openpgpkey.functionally.io

plutus-typed-vs-untyped

proot

chroot, mount --bind, and binfmt_misc without privilege/setup for Linux

vis3d.live

Source for https://vis3d.live/.

www.bwbush.io

Source for https://www.bwbush.io/.