Giters
Tito Sacchi (jabberabbe)

jabberabbe

Geek Repo

39

followers

35

following

200

stars

Location:On the dark side of the moon

Home Page:https://tito.tilde.team

Github PK Tool:Github PK Tool

Organizations
TowerofHanoi

Tito Sacchi's repositories

mello

Haskell memory inspection, debugging and tracing library

Language:HaskellLicense:GPL-3.0Stargazers:1Issues:1Issues:0

CatQM

Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq

Language:CoqStargazers:0Issues:1Issues:0

cats

Category theory notes and (some) exercises (from "Category theory in context"). Not updated in a while and probably not useful to anyone, but I really like cute commutative diagrams. I'm not a mathematician nor a math student.

Language:TeXStargazers:0Issues:1Issues:0

telegraf-openvpn

Pass OpenVPN server status to Telegraf

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

advent-of-code

My solutions to the advent of code problems

Language:ClojureStargazers:0Issues:0Issues:0

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

towerofhanoi.github.io

Language:CSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0