Davide Peressoni

Mirror of https://gitlab.com/DPDmancul/dotfiles

A complete Emoji packege for LaTeX

Mirror of https://gitlab.com/DPDmancul/approx_sil. Implementation of Altieri, F., Pietracaprina, A., Pucci, G., & Vandin, F. (2021). Scalable distributed approximation of internal measures for clustering evaluation. In Proceedings of the 2021 SIAM International Conference on Data Mining (SDM) (pp. 648-656). Society for Industrial and Applied Mathematics.

Nix Packages collection

Lyrics editor and CDG and Video exporter for Karaoke

Merge results from clap and serde into struct with derive. Mirror of https://gitlab.com/DPDmancul/clap-serde-derive

For pull requests

Use extension methods in Entity Framework Core queries

Mirror of https://gitlab.com/DPDmancul/gestione_emergenze_protezione_civile

IdeaVim – A Vim engine for JetBrains IDEs

Mirror of https://gitlab.com/DPDmancul/aoc

MWE for C# bug of GetCustomAttribute looking for the attribute constructor

Quartz Enterprise Scheduler .NET

Corso introduttivo alla sicurezza informatica -- Mirror of https://gitlab.com/DPDmancul/dada

automatic X-SAMPA to IPA translation

An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs

Randomize your backgrounds while avoiding the birthday problem

Used for pull requests

Implementation of "A Local-Search Approach to Silhouette-Based Clustering" (https://thesis.unipd.it/handle/20.500.12608/40252)

An "Hello world!" which works in 17 languages. Mirror of https://gitlab.com/DPDmancul/hello-world

Rust library for displaying images in the terminal.

Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples

Mirror of https://gitlab.com/DPDmancul/complete-integers-agda In this work we will define a superset of integers (the complete integers), which contains the dual of integers along parity (e.g. the odd zero, the even one, ...). Then we will see how they form a ring and how they can be used as exponents for real numbers powers, in order to write functions which have a discontinuity in zero (the function itself or one of its derivates), as for example the absolute value and the sign function.

The Agda standard library

This forked repo is used only for pull requests: please refer to the original repo

Convert CSV files to LaTeX tables. Mirror of https://gitlab.com/DPDmancul/csv2tex

Wallpaper daemon for Wayland. Version without nighlty code.

Strip trailing whitespace in Vim.

Atom package to add block comments

Find dates for exams at UniPD. Mirror of https://gitlab.com/DPDmancul/unipd-exam-dates-finder