Brian W Bush bwbush

## first-kyd-on-midnight.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                bwbush
                / first-kyd-on-midnight.md
            
            
              Last active
              December 30, 2023 04:47
            
              
                Executing a simplified version of Marlowe on Midnight's devnet
              
          
    Executing a simplified version of Marlowe on Midnight's devnet

Kyd, a Marlowe-like language for smart contracts

The Kyd language is a simplified version of the Marlowe language.
The following Lean 4 types define Kyd. For brevity, we omit the specification of the semantics, but they closely mimic Marlowe's semantics.


## PLT-9055.ipynb

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / PLT-9055.ipynb
            
            
              Last active
              December 22, 2023 16:51
            
              
                PLT-9055
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## Raffle.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / Raffle.ipynb
            
            
              Created
              December 15, 2023 16:51
            
              
                Raffle
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## PLT-7581.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                bwbush
                / PLT-7581.ipynb
            
            
              Last active
              December 11, 2023 12:57
            
              
                PLT-7581
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## 09-minting.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / 09-minting.ipynb
            
            
              Created
              October 5, 2023 23:48
            
              
                Minting Cardano Native Tokens with Marlowe Tools
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## setup-withdrawal.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / setup-withdrawal.ipynb
            
            
              Last active
              August 24, 2023 15:31
            
              
                Setup Marlowe Payout
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## marlowestat.sh
#!/usr/bin/env nix-shell
#!nix-shell -i Rscript -p "rWrapper.override{packages = [ rPackages.RPostgreSQL rPackages.data_table rPackages.lubridate rPackages.jsonlite rPackages.ggplot2 rPackages.scales];}"

require(RPostgreSQL)
require(data.table)
require(lubridate)
require(jsonlite)
require(ggplot2)
require(scales)

## Oracle Example.ipynb

      
              2 files
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / Oracle Example.ipynb
            
            
              Last active
              July 19, 2023 16:40
            
              
                Example Usage of Marlowe Oracle
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## marlowe-python-example.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / marlowe-python-example.ipynb
            
            
              Last active
              May 24, 2023 02:06
            
              
                Using Marlowe REST API from Python without other Cardano tools
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
      
    
## comparison.ipynb

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                bwbush
                / comparison.ipynb
            
            
              Last active
              May 19, 2023 02:29
            
              
                Comparison of Marlowe Validator Costs: Production vs Recent Plutus Master
              
          
      Sorry, something went wrong. Reload?
      Sorry, we cannot display this file.
      Sorry, this file is invalid so it cannot be displayed.
      
          Viewer requires iframe.
	#!/usr/bin/env nix-shell
	#!nix-shell -i Rscript -p "rWrapper.override{packages = [ rPackages.RPostgreSQL rPackages.data_table rPackages.lubridate rPackages.jsonlite rPackages.ggplot2 rPackages.scales];}"

	require(RPostgreSQL)
	require(data.table)
	require(lubridate)
	require(jsonlite)
	require(ggplot2)
	require(scales)