Skip to content

Instantly share code, notes, and snippets.

View ueliwechsler's full-sized avatar
💭
🐱‍🐉

ueliwechsler

💭
🐱‍🐉
  • Switzerland, Zurich
View GitHub Profile
using MathematicalSystems, LazySets, Test
# ========
# Setup
# ========
n = 3; m = 2; l = 3
A = A1 = rand(n,n)
b = b1 = rand(n)
B = B1 = rand(n,m)
@ahogen
ahogen / build-sys-img.jl
Created November 14, 2017 17:21
Build system-specific Julia image
# From: #7 http://www.stochasticlifestyle.com/7-julia-gotchas-handle/
Pkg.update()
if is_windows()
Pkg.add("WinRPM");
using WinRPM
WinRPM.install("gcc", yes=true)
WinRPM.install("winpthreads-devel", yes=true)
end
@Dalmirog-zz
Dalmirog-zz / CloneOctopusProject.cs
Created January 25, 2015 04:46
Clone Octopus Project (C#)
var client = new OctopusClient(new OctopusServerEndpoint(octoUrl, apiKey));
var repo = new OctopusRepository(client);
var project = repo.Projects.FindByName("MyOriginalProject");
var newProject = new ProjectResource
{
Name = "MyClonedProject",
Description = "Cloned copy",
ProjectGroupId = project.ProjectGroupId,
@Dalmirog-zz
Dalmirog-zz / CloneOctopusProject.ps1
Created January 25, 2015 04:41
Clone Octopus Project
Add-Type -Path "C:\Tools\Newtonsoft.Json.dll"
Add-Type -Path "C:\Tools\Octopus.Client.dll" #Make sure its version 2.6.x or higher. Otherwhise you'll get errors with the LifecycleId property
Add-Type -Path "C:\Tools\Octopus.Platform.dll"
$OctopusURI = "" #i.e "Http://Octopus.MyAwesomeCompany.com"
$apikey = "" #i.e "API-7CH6XN0HHOU7DDEEUGKUFUR1K"
$endpoint = new-object -TypeName Octopus.Client.OctopusClient(New-Object Octopus.Client.OctopusServerEndpoint($OctopusURI,$apikey))
$repository = new-object Octopus.Client.OctopusRepository $endpoint
@MikeInnes
MikeInnes / startup.jl
Last active February 5, 2023 12:54
Some useful macros for Julia
# Repeat an operation n times, e.g.
# @dotimes 100 println("hi")
macro dotimes(n, body)
quote
for i = 1:$(esc(n))
$(esc(body))
end
end
end
@gizmaa
gizmaa / Plot_Examples.md
Last active February 28, 2024 02:46
Various Julia plotting examples using PyPlot
@justlaputa
justlaputa / jenkins-api.md
Last active September 26, 2023 17:43
Jenkins Json API

jobs

jenkins_url + /api/json?tree=jobs[name,color]

builds

jenkins_url + /job/${job_name}/api/json?tree=builds[number,status,timestamp,id,result]

last build