Skip to content
View danielcontro's full-sized avatar
🧵
(λx.x x) x
🧵
(λx.x x) x
  • University of Padua
  • Italy

Highlights

  • Pro

Block or report danielcontro

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. FMCS FMCS Public archive

    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

    Python

  2. dotfiles dotfiles Public

    Repository containing dotfiles handled with gnu stow

    Lua

  3. ATPL ATPL Public

    Repository containing the exercises of the Advanced Topics in Programming Languages course of the MSc in Computer Science @ Unipd A.Y. 2022/2023

    TeX 1

  4. step-bit step-bit Public archive

    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

    Dart 1