Alessio's repositories
HaskellParser
Parsing haskell in haskell from scratch
RecStaticAnalyzer
An abstract interpretation based static analyzer for the REC programming language, supports strictness and sign analysis
PolynomialFunctors
Data-types as fixpoints of polynomial functors
While-Proofs
Proving some theorems about the While language in Agda
MSc-Thesis
A general framework for constructing sound and complaete Hoare-like logics, unifying the theory of partial correctness
Language:TeX000
bitwarden-rofi
Wrapper for Bitwarden https://github.com/bitwarden/cli and Rofi
Language:Python000
linux_notification_center
A notification daemon/center for linux
rofi-bluetooth
đź”· A script that generates a rofi menu that uses bluetoothctl to connect to bluetooth devices and display status info.