danielcontro Goto Github PK
Name: Daniel Eduardo Contro
Type: User
Company: University of Padua
Bio: PLS MSc in Computer Science @ University of Padua
Location: Italy
Name: Daniel Eduardo Contro
Type: User
Company: University of Padua
Bio: PLS MSc in Computer Science @ University of Padua
Location: Italy
a small compact 3x5+3 split ortho keyboard
Repository containing the solutions of Advent of Code 2023
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
Repository containing the exercises of the Advanced Topics in Programming Languages course of the MSc in Computer Science @ Unipd A.Y. 2022/2023
Formulario dalle note del corso di Advanced Topics in Programming languages
A snazzy bufferline for Neovim
Repository containing dotfiles handled with gnu stow
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
Repository for the Game Theory course project @ UniPd MSc in Computer Science A.Y. 2022/23
Vim-fork focused on extensibility and usability
Rust library to read, manipulate and write PDF files.
Some ideas that I'm playing around with for sourcegraph
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
Repository containing notes regarding MSc thesis
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.