Daniele Pusceddu's starred repositories
spicetify-themes
A community-driven collection of themes for customizing Spotify through Spicetify - https://github.com/spicetify/cli
ublock-hide-yt-shorts
uBlock Origin filter list to hide YouTube Shorts
epub_to_audiobook
EPUB to audiobook converter, optimized for Audiobookshelf
certificate-transparency
Auditing for TLS certificates.
LeechBlockNG
LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify which sites to block and when to block them.
signal-export
Export your Signal chats to markdown files with attachments
leanblueprint
plasTeX plugin to build formalization blueprints.
ShdTH-Reloaded
Shadow the Hedgehog: Reloaded
verbose-lean4
Natural language tactics to teach mathematics using Lean 4
lean4-maze
maze game encoded in Lean 4 syntax
nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
KH-PC-and-Linux-Setup
A repository that helps users setup the Steam and/or Epic Games Store versions the various KINGDOM HEARTS games on Windows, Linux, and Steam Deck.
type_checking_in_lean4
Type Checking in Lean 4
lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
lean4export
Plain-text declaration export for Lean 4
program-proofs-gobra
Examples and exercises from the book Program Proofs translated to Gobra