Discover pitmonticone/LeanInVienna2024 Open Source project

Stars
6
Rank 2,539,965 (Top 51 %)
Language Lean
License
Apache License 2.0
Created 3 months ago
Updated 2 months ago

pitmonticone

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

EnergySystemModelling

Resources for the Energy System Modelling course by Tom Brown at Karlsruhe Institute of Technology (2020).

Jupyter Notebook

RedditTextClassification

Reddit Gender Text-Classification.

Jupyter Notebook

SocialMediaEgoGraphAnalysis

Ego Graph Analysis on Social Media.

Jupyter Notebook

PlantDiseaseClassification

Dataset Analysis & CNN Models Optimization for Plant Disease Classification.

HTML

BertSentimentClassification

BERT Sentiment Classification on the Large Movie Review Dataset.

Jupyter Notebook

EpiSimulator

EpiSimulator: A Data-Driven Stochastic Hybrid Model for COVID-19 in Italy.

Jupyter Notebook

LeanProject

Template for blueprint-driven formalization projects in Lean.

Python

pitmonticone

Profile repository of Pietro Monticone.

UniTrento_SummerSchool_GeometricAnalysis_2023

Repository hosting resources for the summer school "Three Days between Analysis and Geometry" at the University of Trento (@UniTrento) from 2023/08/28 to 2023/08/30.

TeX

SustainableDecarbonization

Slides from my presentation at the Liberi Oltre event in Venice.

JavaScript

Torino-Lione

A website aggregating of the most important Torino-Lione references.

HTML

covid-italy

References for COVID-19 situation in Italy.

HTML

DaisyEBM

Embedding Daisies in a 1D Energy Balance Model.

HTML

rcp85-debate

A dashboard aggregating the most relevant bits of the RCP8.5 debate.

HTML

NewLeanProject

TeX

pitmonticone/LeanInVienna2024

pitmonticone

Reviews

Repository Details

More Repositories