Skip to content

Instantly share code, notes, and snippets.

View TonyAbell's full-sized avatar

Tony Abell TonyAbell

29 followers · 24 following
View GitHub Profile
@TonyAbell
TonyAbell / final.tla
Created April 12, 2019 15:45 — forked from hwayne/final.tla
Formal Methods Example Spec
EXTENDS Integers, TLC, Sequences
CONSTANTS Devices
(* --algorithm BatchInstall
variables
AppScope \in [Devices -> {0, 1}];
Installs \in [Devices -> BOOLEAN];
batch_pool = {};
lock = FALSE;
@TonyAbell
TonyAbell / graph.fsx
Created October 15, 2017 19:56 — forked from mathias-brandewinder/graph.fsx
Visualize Azure Function App with F# and GraphViz
(*
Reading out bindings
*)
type Direction =
| Trigger
| In
| Out
type Properties = Map<string,string>
@TonyAbell
TonyAbell / Create-Azure-ML-Workspace.ps1
Last active July 13, 2016 21:05
It is not always possible to a Azure ML Workspace in the US, and the storage account is in a different resource group. This script will create a storage acount and an Azure ML WorkSpace in 'South Central US'
Login-AzureRmAccount;
# update values below
$subId = "{ subscription guid }"
$storageAccountName="{ storage account name }"
$azMLOwnerId="{ account email }"
$azMLWorkSpaceName="{ azure ml workspace name }"
@TonyAbell
TonyAbell / ndcoslo016_fp_track.md
Created June 24, 2016 15:18 — forked from swlaschin/ndcoslo016_fp_track.md
Functional Track talks from NDC Oslo 2016
@TonyAbell
TonyAbell / AlgorithmW.fs
Last active September 5, 2015 23:28 — forked from praeclarum/AlgorithmW.fs
Algorithm W - or Hindley-Milner polymorphic type inference - in F#
module AlgorithmW
// HINDLEY-MILNER TYPE INFERENCE
// Based on http://catamorph.de/documents/AlgorithmW.pdf
type Lit =
| LInt of int
| LBool of bool
type Exp =
@TonyAbell
TonyAbell / suave-on-service-fabric.fs
Last active August 29, 2015 14:27 — forked from isaacabraham/suave-on-service-fabric.fs
Hosting Suave in Azure Service Fabric
open Microsoft.ServiceFabric.Services
open Suave
open Suave.Http.Successful
open Suave.Web
open System.Fabric
open System.Threading
open System.Threading.Tasks
type SuaveService() =
inherit StatelessService()
@TonyAbell
TonyAbell / BuildDownload.ps1
Last active August 29, 2015 14:20 — forked from jcmm33/BuildDownload.ps1
# Insert code here to change to directory where you wish to download videos if you so desire
[Environment]::CurrentDirectory=(Get-Location -PSProvider FileSystem).ProviderPath
$a = ([xml](new-object net.webclient).downloadstring("http://s.ch9.ms/Events/dotnetConf/2015/RSS/mp4high"))
$a.rss.channel.item | foreach{
$url = New-Object System.Uri($_.enclosure.url)
$file = "- " + $_.creator + " - " + $_.title.Replace(":", "-").Replace("?", "").Replace("/", "-").Replace("<", "").Replace("|", "").Replace('"',"").Replace("*","")
$file = $file.substring(0, [System.Math]::Min(120, $file.Length))
$file = $file.trim()
@TonyAbell
TonyAbell / instructions.txt
Last active August 29, 2015 14:19 — forked from Aaronontheweb/instructions.txt
I'll try to illustrate the process for doing this by describing what I do.
First, you get your fork of Akka.NET - everything is cool.
Next, you clone it to your machine. Right now your "origin" is set to your local fork.
If Github for Windows doesn't do this for you automatically, you'll need to add a second remote to your local copy of your Akka.NET repository - one that points to the main repository (akkadotnet/akka.net)
git remote add upstream git@github.com:akkadotnet/akka.net.git
Now let's say you want to add a new feature - first thing you need to do is create a new feature branch. Don't work directly off of dev.
@TonyAbell
TonyAbell / keybase.md
Created April 8, 2015 00:42

Keybase proof

I hereby claim:

  • I am tonyabell on github.
  • I am tonyabell (https://keybase.io/tonyabell) on keybase.
  • I have a public key whose fingerprint is 01E2 3F4C D477 91D6 2DE6 C236 4DD6 0F21 174B D818

To claim this, I am signing this object:

@TonyAbell
TonyAbell / Boxstarter
Last active August 29, 2015 14:13
Boxstarter Script
Set-ExplorerOptions -showHidenFilesFoldersDrives -showProtectedOSFiles -showFileExtensions
Enable-RemoteDesktop
cinst fiddler4
cinst git.install
cinst git-credential-winstore
cinst console-devel
cinst sublimetext3
cinst atom