jabberabbe
Italian Maths student by day / Haskell & maths enthusiast, noob CTF player by night. | PGP: 0x6BED3002CF25C4D2 (4096R)
On the dark side of the moon
Pinned Repositories
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
CatQM
Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq
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.
mello
Haskell memory inspection, debugging and tracing library
telegraf-openvpn
Pass OpenVPN server status to Telegraf
shellcheck
ShellCheck, a static analysis tool for shell scripts
jabberabbe's Repositories
jabberabbe/mello
Haskell memory inspection, debugging and tracing library
jabberabbe/CatQM
Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq
jabberabbe/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.
jabberabbe/telegraf-openvpn
Pass OpenVPN server status to Telegraf
jabberabbe/advent-of-code
My solutions to the advent of code problems
jabberabbe/shellcheck
ShellCheck, a static analysis tool for shell scripts
jabberabbe/towerofhanoi.github.io