Pinned Repositories
3W6
a small compact 3x5+3 split ortho keyboard
advent-of-code-23
Repository containing the solutions of Advent of Code 2023
agda-session-types
Repository containing an implementation of session types in Agda for the Type Theory course of the MSc in Computer Science at the University of Padua
ATPL
Repository containing the exercises of the Advanced Topics in Programming Languages course of the MSc in Computer Science @ Unipd A.Y. 2022/2023
atpl-formulario
Formulario dalle note del corso di Advanced Topics in Programming languages
dotfiles
Repository containing dotfiles handled with gnu stow
FMCS
Repository for the project of the Formal Methods for Cyber-physical Systems's course of the MSc in Computer Science @ Unipd A.Y. 2022/2023
GTP
Repository for the Game Theory course project @ UniPd MSc in Computer Science A.Y. 2022/23
step-bit
Repository containing the source code of the project for the Biomedical Wearable Technologies for Healthcare and Wellbeing from the MSc in Bioengineering @ Unipd A.Y. 2022/2023
stochastic-parity-progress-measure
Repository containing code for the synthesis of stochastic parity progress measures
danielcontro's Repositories
danielcontro/GTP
Repository for the Game Theory course project @ UniPd MSc in Computer Science A.Y. 2022/23
danielcontro/stochastic-parity-progress-measure
Repository containing code for the synthesis of stochastic parity progress measures
danielcontro/3W6
a small compact 3x5+3 split ortho keyboard
danielcontro/advent-of-code-23
Repository containing the solutions of Advent of Code 2023
danielcontro/agda-session-types
Repository containing an implementation of session types in Agda for the Type Theory course of the MSc in Computer Science at the University of Padua
danielcontro/ATPL
Repository containing the exercises of the Advanced Topics in Programming Languages course of the MSc in Computer Science @ Unipd A.Y. 2022/2023
danielcontro/atpl-formulario
Formulario dalle note del corso di Advanced Topics in Programming languages
danielcontro/bufferline.nvim
A snazzy bufferline for Neovim
danielcontro/dotfiles
Repository containing dotfiles handled with gnu stow
danielcontro/FMCS
Repository for the project of the Formal Methods for Cyber-physical Systems's course of the MSc in Computer Science @ Unipd A.Y. 2022/2023
danielcontro/neovim
Vim-fork focused on extensibility and usability
danielcontro/pdf
Rust library to read, manipulate and write PDF files.
danielcontro/sg.nvim
Some ideas that I'm playing around with for sourcegraph
danielcontro/step-bit
Repository containing the source code of the project for the Biomedical Wearable Technologies for Healthcare and Wellbeing from the MSc in Bioengineering @ Unipd A.Y. 2022/2023
danielcontro/guess-check-lexicographic-parity-supermartingale
danielcontro/probabilistic-model-checking
Repository containing the homework for the Probabilistic Model Checking course of the MSc in Computer Science @ Unipd A.Y. 2023/2024
danielcontro/Rectangle
Move and resize windows on macOS with keyboard shortcuts and snap areas
danielcontro/thesis-notes
Repository containing notes regarding MSc thesis