Brian W Bush's repositories
catalyst-assessment-analyses
Exploratory analyses of Catalyst CA assessments.
marlowe-lean4
Marlowe DSL in Lean 4
www.brianwbush.info
Source for https://www.brianwbush.info/.
awesome-marlowe
A collection of Marlowe resources, tutorials and examples
cardano-contracts-registry
An off-chain registry to maintain labels, audits, and metadata for the dApps on Cardano
developer-portal
The Cardano Developer Portal
flake-test
Various experiments with Nix flakes.
haskell-companies
A gently curated list of companies using Haskell in industry
jupyenv
Declarative and reproducible Jupyter environments - powered by Nix
lean4-exercises
Worked solutions to exercises in Lean4 tutorial
lean4balancing
Using Lean4 to balance Marlowe transactions.
marlowe-compose
Example docker compose configuration for Marlowe Runtime
openpgpkey.bwbush.io
Service for well-known directory with openpgp keys.
oracle-datum-lib
Library to interact with a standard oracle datum.
plutus
The Plutus language implementation and tools
servant-event-stream
Servant support for ServerSent events
www.bwbush.io
Source for https://www.bwbush.io/.