Pinned Repositories
Intuitionistic_theorem_prover
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.
tinos-way
my personal site, where I talk about music, programming, literature and politics.
adventoftypescript2023
Repo containing the solutions I worked out for AdventOfTypeScript 2023
DSA-study-notes
DSA study notes
JS_codecademy
A bunch of easy JavaScript exercises from the full-stack track of Codecademy
my-character-creator
my-huckleberry
my-mini-component-library
my-scrollburglars
my-sole-and-ankle
ValentinoFilipetto's Repositories
ValentinoFilipetto/tinos-way
my personal site, where I talk about music, programming, literature and politics.
ValentinoFilipetto/ValentinoFilipetto
ValentinoFilipetto/DSA-study-notes
DSA study notes
ValentinoFilipetto/adventoftypescript2023
Repo containing the solutions I worked out for AdventOfTypeScript 2023
ValentinoFilipetto/tinos-bl
ValentinoFilipetto/react-tic-tac-toe
The popular React tutorial to get started with React.
ValentinoFilipetto/my-sole-and-ankle-revisited
ValentinoFilipetto/my-scrollburglars
ValentinoFilipetto/my-unsprinkle
ValentinoFilipetto/my-variable-fonts-exercise
ValentinoFilipetto/my-sole-and-ankle
ValentinoFilipetto/my-mini-component-library
ValentinoFilipetto/my-character-creator
ValentinoFilipetto/my-huckleberry
ValentinoFilipetto/MyWebsite
A very primitive website.
ValentinoFilipetto/JS_codecademy
A bunch of easy JavaScript exercises from the full-stack track of Codecademy
ValentinoFilipetto/Thesis
Implementation of algorithms in Python regarding the direct product and homomorphism in labelled directed graphs.
ValentinoFilipetto/Intuitionistic_theorem_prover
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.