lusergit Goto Github PK
Name: Luca Zaninotto
Type: User
Bio: CS Student in Padova, Italy
Twitter: luca_zann
Location: Padova, IT
Luca Zaninotto's Projects
.emacs.d
minimal .emacs.d config
advc2022-rust
Doing the advent of code 2022 in rust
advc2023
Advent of code 2023
agda-bfs
Type theory (UniPD) project, implementig and proving BFS correctness
alga-theory
The theory of algebraic graphs formalised in Agda
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
chan-actors
Channel based communication and actor model implemented in common lisp
computability
computability notes
convdae
Convolutionan Network Denoise-AutoEncoder, project for Machine Learning a.y. 2021/2022
dist-idem-semiring
Proving that Distance (as defined) is an idempotent semiring over meet and join operations
dotfiles_zero
first arch build, my configs and the resources I used!
economics-meta
esercizi-p1
Raccolta degli esercizi fatti (vecchi appelli e vecchi laboratori) durante il corso di Programmazione 1 presso l'università degli studi di Padova
esercizi_p2
Raccolta degli esercizi svolti per il corso di programmazione ad oggetti presso l'Università di Padova
fantacalcio-py
Piccolo tool per guidarci all'asta spendendo poco
fmcs-assignment-1
First assignment of formal methods for cyber-physical systems
fmcs-assignment-2
gestione_orari
gr1-ver
GR(1) verification
haskell-mooc
Haskell MOOC University of Helsinki
karger_stein
Advanced algorithms project a.y. 2021-2022
lockme
A simple rust program to avoid distractions!
lusergit.github.io
manifold_clustering
Clustering a manifold of the encoded space of an autoencoder (ML 2022 project)
mario-kart-tournament
master-thesis
Master thesis on abstract interpretation @UniPD
miniplc
Compiler for the Mini Pascal lang, from uni Helsinki
missing-semester-it.github.io
Italian translation of The Missing Semester of Your CS Education 📚
template-piano-di-lavoro-stage
Un template per il piano di lavoro utile per gli studenti della laurea triennale in Computer Science @Unipadova che devono iniziare lo stage curriculare.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.