Skip to content

Instantly share code, notes, and snippets.

View denismazzucato's full-sized avatar

Denis denismazzucato

22 followers · 20 following
View GitHub Profile
@denismazzucato
denismazzucato / perceptron.ipynb
Created December 7, 2018 15:11
perceptron.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@denismazzucato
denismazzucato / clustering.ipynb
Last active January 2, 2019 16:24
Wine Dataset - Clustering
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@denismazzucato
denismazzucato / naivebayes.ipynb
Created January 12, 2019 12:56
NaiveBayes.ipynb
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@denismazzucato
denismazzucato / DecisionTreeClassification.ipynb
Last active January 17, 2019 16:41
Untitled
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@denismazzucato
denismazzucato / type-theory.lagda.md
Last active June 16, 2019 13:01

agda

workbook for TypeTheory course (Maietti, Sambin)

module TypeTheory where

-- import natural to have a better rappresentation inside the script
open import Data.Nat using (ℕ; zero; suc)