Skip to content

Instantly share code, notes, and snippets.

View pdonadeo's full-sized avatar

Paolo Donadeo pdonadeo

46 followers · 23 following
View GitHub Profile
@pdonadeo
pdonadeo / test_ssl2.ml
Created January 11, 2017 22:45
A minimal SSL test for Async_ssl
open Core.Std
open Async.Std
open Async_ssl.Std
open Log.Global
(* ocamlbuild -use-ocamlfind -pkgs async_ssl src/test_ssl2.native *)
let get_ssl () =
(* Connect the socket *)
@pdonadeo
pdonadeo / test.ml
Created January 8, 2017 16:33
A non SSL program to test everything
open Core.Std
open Async.Std
open Log.Global
open Re2.Std
(* ocamlbuild -use-ocamlfind -pkgs re2,async src/test.native *)
let request qs = Printf.sprintf "GET /u/%s HTTP/1.1
@pdonadeo
pdonadeo / test_ssl.ml
Created January 6, 2017 13:09
open Core.Std
open Async.Std
open Async_ssl.Std
open Log.Global
open Re2.Std
(*
ocamlbuild \
@pdonadeo
pdonadeo / iitc_draw.json
Created September 13, 2016 19:57
Via Lux Adventurer Medal Treviso
[{"type":"polyline","latLngs":[{"lat":45.650505,"lng":12.259948},{"lat":45.650968,"lng":12.253887},{"lat":45.651123,"lng":12.242399},{"lat":45.652903,"lng":12.242622},{"lat":45.653051,"lng":12.235206},{"lat":45.653563,"lng":12.227575},{"lat":45.655814,"lng":12.226949},{"lat":45.656318,"lng":12.22833},{"lat":45.65916,"lng":12.233307},{"lat":45.663475,"lng":12.231937},{"lat":45.665188,"lng":12.230584},{"lat":45.66651,"lng":12.22842},{"lat":45.667704,"lng":12.229918},{"lat":45.66824,"lng":12.230291},{"lat":45.668055,"lng":12.229166},{"lat":45.667777,"lng":12.229484},{"lat":45.668318,"lng":12.229054},{"lat":45.668519,"lng":12.229484},{"lat":45.668849,"lng":12.229817},{"lat":45.670632,"lng":12.228862},{"lat":45.67271,"lng":12.232656},{"lat":45.672534,"lng":12.232642},{"lat":45.673058,"lng":12.235001},{"lat":45.674022,"lng":12.239357},{"lat":45.671601,"lng":12.236931},{"lat":45.671505,"lng":12.238036},{"lat":45.66976,"lng":12.241572},{"lat":45.669255,"lng":12.242023},{"lat":45.670761,"lng":12.241113},{"lat":45.6688
@pdonadeo
pdonadeo / iitc_draw.json
Created September 13, 2016 19:45
Via Lux Adventurer Medal Trento
[{"type":"polyline","latLngs":[{"lat":46.077404,"lng":11.110594},{"lat":46.074096,"lng":11.10967},{"lat":46.074442,"lng":11.109123},{"lat":46.07233,"lng":11.110979},{"lat":46.071827,"lng":11.111383},{"lat":46.072191,"lng":11.110396},{"lat":46.072438,"lng":11.110651},{"lat":46.071351,"lng":11.109752},{"lat":46.071082,"lng":11.109878},{"lat":46.072494,"lng":11.111992},{"lat":46.071816,"lng":11.112051},{"lat":46.073254,"lng":11.113549},{"lat":46.073276,"lng":11.113186},{"lat":46.071373,"lng":11.111957},{"lat":46.07098,"lng":11.113069},{"lat":46.071738,"lng":11.113551},{"lat":46.07112,"lng":11.11467},{"lat":46.07004,"lng":11.115802},{"lat":46.069824,"lng":11.115792},{"lat":46.070988,"lng":11.117492},{"lat":46.069832,"lng":11.118494},{"lat":46.069711,"lng":11.119183},{"lat":46.069503,"lng":11.118602},{"lat":46.070972,"lng":11.11878},{"lat":46.071128,"lng":11.11935},{"lat":46.071186,"lng":11.120382},{"lat":46.071703,"lng":11.119819},{"lat":46.071753,"lng":11.121011},{"lat":46.071526,"lng":11.120433},{"lat":46.07206
@pdonadeo
pdonadeo / milano.csv
Created September 13, 2016 15:26
Via Lux Adventurer Medal Milano
Title Lat Lng guid
Villa in Via Carducci 45.463177 9.174233 e06e0dd2a5ea4dc195a6327c8f435a03.11
Palazzo Gonzaga di Vescovado 45.463336 9.174066 b992bc4d6a8a433f92e20f678dbd7693.11
Villa Maestosa Con Statue E Cupola 45.464056 9.173190 3312519fbf5449c3a57f3c3c7161fff4.16
Palazzo Cova 45.462440 9.173516 1d7da3aa752f4cadbd7f9fbd39cf7d90.12
Pusterla di Sant'Ambrogio 45.461979 9.173890 d9e01637cd8747cd939947b0bde16ac1.12
Stemmi Memorial 45.461945 9.175065 9b97931008c74daa9c34f13acf7ef70c.16
San Michele Al Dosso 45.461867 9.174389 e10429bee3d444399b79f74711a779f4.16
Portone in Sant'Ambrogio 45.461841 9.174746 dd17448d5f444eaf92b4616fb0303cb2.16
Collecti Monachorum 45.462158 9.175791 466deda6ea3d42798a705e4b13255dec.16
@pdonadeo
pdonadeo / milano.json
Created September 13, 2016 15:25
Via Lux Adventurer Medal Milano
[{"type":"polyline","latLngs":[{"lat":45.463177,"lng":9.174232999999999},{"lat":45.463336,"lng":9.174066},{"lat":45.464056,"lng":9.17319},{"lat":45.46244,"lng":9.173515999999999},{"lat":45.461979,"lng":9.17389},{"lat":45.461945,"lng":9.175065},{"lat":45.461867,"lng":9.174389},{"lat":45.461841,"lng":9.174746000000001},{"lat":45.462158,"lng":9.175791},{"lat":45.462473,"lng":9.175357999999999},{"lat":45.462323,"lng":9.17488},{"lat":45.462174,"lng":9.175234},{"lat":45.462075,"lng":9.175347},{"lat":45.461189,"lng":9.174087},{"lat":45.461042,"lng":9.175573},{"lat":45.460784,"lng":9.176347},{"lat":45.459871,"lng":9.17562},{"lat":45.458836,"lng":9.176318},{"lat":45.457993,"lng":9.173083999999999},{"lat":45.457775,"lng":9.173698},{"lat":45.458115,"lng":9.173302},{"lat":45.458167,"lng":9.174265},{"lat":45.457518,"lng":9.173862},{"lat":45.458146,"lng":9.174286},{"lat":45.457507,"lng":9.176119999999999},{"lat":45.45673,"lng":9.176086},{"lat":45.456876,"lng":9.177287},{"lat":45.456834,"lng":9.180797999999999},{"lat":45.45
@pdonadeo
pdonadeo / alessandria.csv
Created September 13, 2016 15:14
Portali di Alessandria per fare unici
Title Lat Lng guid
Il Cristo in Croce 44.899552 8.599139 999e1406b5d744988e6a875a1d2b9bf8.16
Il Cristo Risorto e S.Giovanni Evangelista 44.901440 8.601578 cf220c150c91473db59f625baf1a57c5.16
Alessandria - Chiesa Corso Acqui 44.901576 8.601853 4a01a9ae3dc94745a572b0e3b046bcb9.11
Meridiana di via Aliora 44.902394 8.610907 cdf2f1201190458bb7c7969638d78781.16
Torre dell'acqua della Ferrovia 44.905260 8.608293 d4b620c344f24d21942ff82376c2674f.16
Alessandria - Cento Cannoni 44.907351 8.610973 f7b1a0d32a384b49a03127fe7b283d5e.11
Fontana dei Cigni 44.907845 8.609597 e491248570e645ee8c3e3072d40b2d3c.16
In Memoria del Motociclista 44.908443 8.609131 6c04ca4af7b34223895fba7e9df31ba5.16
Binari Alessandria 44.908798 8.606523 ed4933f0698444209fa9666b6425fc29.16
@pdonadeo
pdonadeo / alessandria.json
Created September 13, 2016 15:12
Portali di Alessandria per fare unici
[{"type":"polyline","latLngs":[{"lat":44.899552,"lng":8.599138999999999},{"lat":44.90144,"lng":8.601578},{"lat":44.901576,"lng":8.601853},{"lat":44.902394,"lng":8.610906999999999},{"lat":44.90526,"lng":8.608293},{"lat":44.907351,"lng":8.610973},{"lat":44.907845,"lng":8.609597000000001},{"lat":44.908443,"lng":8.609131},{"lat":44.908798,"lng":8.606522999999999},{"lat":44.90912,"lng":8.607377},{"lat":44.910177,"lng":8.607150000000001},{"lat":44.910201,"lng":8.608034},{"lat":44.909414,"lng":8.608584},{"lat":44.908851,"lng":8.609044000000001},{"lat":44.908978,"lng":8.608354},{"lat":44.90915,"lng":8.608101},{"lat":44.909664,"lng":8.608988},{"lat":44.909756,"lng":8.609660999999999},{"lat":44.910187,"lng":8.610811999999999},{"lat":44.910273,"lng":8.611131},{"lat":44.908932,"lng":8.610033},{"lat":44.9092,"lng":8.610844},{"lat":44.908913,"lng":8.609339},{"lat":44.908935,"lng":8.609669999999999},{"lat":44.909143,"lng":8.611250999999999},{"lat":44.908507,"lng":8.611027},{"lat":44.910323,"lng":8.612546999999999},{"lat":44
@pdonadeo
pdonadeo / IngressDualMap.user.js
Last active September 13, 2016 12:30 — forked from Terrance/IngressDualMap.user.js
An IITC plugin that exports portals currently in view as a CSV list for use with Ingress Dual Map.
// ==UserScript==
// @id iitc-plugin-ingressdualmap-exporter@OllieTerrance
// @name IITC plugin: Ingress Dual Map Exporter
// @category Keys
// @version 0.0.0.1
// @namespace https://github.com/jonatkins/ingress-intel-total-conversion
// @description Exports portals currently in view as a CSV list for use with Ingress Dual Map.
// @include https://www.ingress.com/intel*
// @include http://www.ingress.com/intel*
// @match https://www.ingress.com/intel*