Skip to content

Instantly share code, notes, and snippets.

View bordaigorl's full-sized avatar
🎓

Emanuele D'Osualdo bordaigorl

🎓
View GitHub Profile

Keybase proof

I hereby claim:

  • I am bordaigorl on github.
  • I am bordaigorl (https://keybase.io/bordaigorl) on keybase.
  • I have a public key ASDtlZxvILOjrLnR_qHyu_pi8vH79gfGnvWwzPms9ZtpLQo

To claim this, I am signing this object:

@bordaigorl
bordaigorl / Turing Basic.json
Last active March 13, 2018 23:52
An encoding of Turing Machines in the pi-calculus
{
"gravity": false,
"palette": {
"H": "#d62728",
"E": "black",
"O": "#1f77b4",
"Z": "#aec7e8",
"B": "gray"
}
}
@bordaigorl
bordaigorl / pgf-pie.sty
Last active August 3, 2017 12:37
A modified pgf-pie LaTeX package
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Start of pgf-pie.sty
%
% Some LaTeX macros for pie chart by using PGF/Tikz package.
% Home page of project: http://pgf-pie.googlecode.com/
% Author: Xu Yuan <xuyuan.cn@gmail.com>
%
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{pgf-pie}[2011/10/02 v0.2 Some LaTeX macros for pie
@bordaigorl
bordaigorl / Counters.json
Last active September 20, 2022 07:01
Examples of pi-calculus programs
{
"gravity": false
}
@bordaigorl
bordaigorl / USAmap.tex
Last active January 20, 2024 13:24
USA TikZ map
%% Imported from https://upload.wikimedia.org/wikipedia/commons/3/32/Blank_US_Map.svg
%% Translated to TikZ using Inkscape 0.48
\tikzset{USA map/.cd,
state/.style={fill, draw=white, ultra thick},
HI/.style={}, AK/.style={}, FL/.style={}, NH/.style={}, MI/.style={}, MI/.style={}, VT/.style={}, ME/.style={}, RI/.style={}, NY/.style={}, PA/.style={}, NJ/.style={}, DE/.style={}, MD/.style={}, VA/.style={}, WV/.style={}, OH/.style={}, IN/.style={}, IL/.style={}, CT/.style={}, WI/.style={}, NC/.style={}, DC/.style={}, MA/.style={}, TN/.style={}, AR/.style={}, MO/.style={}, GA/.style={}, SC/.style={}, KY/.style={}, AL/.style={}, LA/.style={}, MS/.style={}, IA/.style={}, MN/.style={}, OK/.style={}, TX/.style={}, NM/.style={}, KS/.style={}, NE/.style={}, SD/.style={}, ND/.style={}, WY/.style={}, MT/.style={}, CO/.style={}, ID/.style={}, UT/.style={}, AZ/.style={}, NV/.style={}, OR/.style={}, WA/.style={}, CA/.style={}}
\tikzset{
every state/.style={USA map/state/.style={#1}},
HI/.style={USA map/HI/.style={#1}}, AK/.