Pinned Repositories
catalyst-assessment-analyses
Exploratory analyses of Catalyst CA assessments.
LCanalysis
Numeric evaluation of longest-chain PoW and PoS blockchains
marlowe-lean4
Marlowe DSL in Lean 4
www.brianwbush.info
Source for https://www.brianwbush.info/.
mantis
This tool provides several script-oriented utilities for the Cardano blockchain. In particular, it posts metadata or mints/burns tokens. It can also generate scripts, compute script addresses, compute the fingerprint of a token, and download scripts.
mantis-oracle
This Cardano oracle reports structured data to a transaction if the fee, as a quantity of a fungible token, is paid. It can be incorporated into other smart-contract scripts that use the oracle's value in their validation logic.
AESD
Advanced Energy System Design
daft
infovis-parallel
bwbush's Repositories
bwbush/marlowe-lean4
Marlowe DSL in Lean 4
bwbush/LCanalysis
Numeric evaluation of longest-chain PoW and PoS blockchains
bwbush/www.brianwbush.info
Source for https://www.brianwbush.info/.
bwbush/agda2hs
Compiling Agda code to readable Haskell
bwbush/alba
Prototype implementation of Approximate Lower Bound Arguments
bwbush/awesome-marlowe
A collection of Marlowe resources, tutorials and examples
bwbush/cardano-contracts-registry
An off-chain registry to maintain labels, audits, and metadata for the dApps on Cardano
bwbush/cardano-documentation
bwbush/ce-netsim
bwbush/developer-portal
The Cardano Developer Portal
bwbush/flake-test
Various experiments with Nix flakes.
bwbush/haskell-companies
A gently curated list of companies using Haskell in industry
bwbush/jupyenv
Declarative and reproducible Jupyter environments - powered by Nix
bwbush/lean4-exercises
Worked solutions to exercises in Lean4 tutorial
bwbush/lean4balancing
Using Lean4 to balance Marlowe transactions.
bwbush/marlowe-cardano
bwbush/marlowe-compose
Example docker compose configuration for Marlowe Runtime
bwbush/nix2container
An archive-less dockerTools.buildImage implementation
bwbush/oracle-datum-lib
Library to interact with a standard oracle datum.
bwbush/PLT-6853
Steps to reproduce PLT-6853.
bwbush/plutus
The Plutus language implementation and tools
bwbush/plutus-pioneers
bwbush/plutus-typed-vs-untyped
bwbush/prism-playground
bwbush/sera
bwbush/servant-event-stream
Servant support for ServerSent events
bwbush/tda-ps
bwbush/tidal-env
Environment for tidal cycles.
bwbush/tmp-raffle
bwbush/www.bwbush.io
Source for https://www.bwbush.io/.