DPDmancul

Newer repos: https://gitlab.com/users/DPDmancul/

EU→ IT→ Friûl

Pinned Repositories

Apple-Emoji
A complete Emoji packege for LaTeX
Language:TeX14 2 01
atom-block-and-line-comment
Atom package to add block comments
Language:JavaScript4 2 02
clap_serde_derive
Merge results from clap and serde into struct with derive. Mirror of https://gitlab.com/DPDmancul/clap-serde-derive
Language:Rust4 2 00
complete-integers-agda
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.
Language:Agda1 2 00
Difesa-contro-le-Arti-Oscure
Corso introduttivo alla sicurezza informatica -- Mirror of https://gitlab.com/DPDmancul/dada
Language:TeX2 2 00
dotfiles
Mirror of https://gitlab.com/DPDmancul/dotfiles
Language:Markdown4 4 00
Gestione-Emergenze-Protezione-Civile
Mirror of https://gitlab.com/DPDmancul/gestione_emergenze_protezione_civile
Language:JavaScript1 2 00
hello-world
An "Hello world!" which works in 17 languages. Mirror of https://gitlab.com/DPDmancul/hello-world
Language:Python1 3 00
OsmerArpaFVG
App del meteo per il Friuli - Venezia Giulia per Ubuntu
Language:QML1 2 10
Songs_dpd-
LaTeX package to write chorded music
Language:TeX1 2 00

DPDmancul's Repositories

DPDmancul/clap_serde_derive
Merge results from clap and serde into struct with derive. Mirror of https://gitlab.com/DPDmancul/clap-serde-derive
Language:Rust4 2 00
DPDmancul/dotfiles
Mirror of https://gitlab.com/DPDmancul/dotfiles
Language:Markdown4 4 00
DPDmancul/Difesa-contro-le-Arti-Oscure
Corso introduttivo alla sicurezza informatica -- Mirror of https://gitlab.com/DPDmancul/dada
Language:TeX2 2 00
DPDmancul/complete-integers-agda
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.
Language:Agda1 2 00
DPDmancul/Gestione-Emergenze-Protezione-Civile
Mirror of https://gitlab.com/DPDmancul/gestione_emergenze_protezione_civile
Language:JavaScript1 2 00
DPDmancul/hello-world
An "Hello world!" which works in 17 languages. Mirror of https://gitlab.com/DPDmancul/hello-world
Language:Python1 3 00
DPDmancul/srs
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
Language:Rust1 2 00
DPDmancul/unipd-exam-dates-finder
Find dates for exams at UniPD. Mirror of https://gitlab.com/DPDmancul/unipd-exam-dates-finder
Language:Python1 2 00
DPDmancul/unipd-thesis-template
Template tesi UniPD in LaTeX. Mirror of https://gitlab.com/DPDmancul/unipd-thesis-template
Language:TeX1 2 0
DPDmancul/vim-xsampa
automatic X-SAMPA to IPA translation
Language:Vim Script1 1 0
DPDmancul/agda-examples
Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples
Language:Agda2 0
DPDmancul/agda-stdlib
The Agda standard library
Language:Agda1 0
DPDmancul/approx_sil
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.
Language:Rust2 0
DPDmancul/AspNetCore.Diagnostics.HealthChecks
Used for pull requests
Language:C#1 0
DPDmancul/beamerThemePadovaDEI
This forked repo is used only for pull requests: please refer to the original repo
Language:TeX1 0
DPDmancul/BotMensaMazza
Telegram Bot to deliver daily the menu at Collegio Universitario D. Nicola Mazza
Language:Python1 0
DPDmancul/corso-sviluppo-web
Mirror of https://gitlab.com/DPDmancul/corso-web
Language:TeX2 0
DPDmancul/cs-get-attribute-ctor-bug-mwe
MWE for C# bug of GetCustomAttribute looking for the attribute constructor
Language:C#1 0
DPDmancul/csv2tex
Convert CSV files to LaTeX tables. Mirror of https://gitlab.com/DPDmancul/csv2tex
Language:Python2 0
DPDmancul/Expressionify
Use extension methods in Entity Framework Core queries
Language:C#
DPDmancul/feh-random-background
Randomize your backgrounds while avoiding the birthday problem
Language:Nix1 0
DPDmancul/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
Language:JavaScript1 0
DPDmancul/nixpkgs
Nix Packages collection
Language:Nix1 0
DPDmancul/quartznet
Quartz Enterprise Scheduler .NET
Language:C#0 0
DPDmancul/silopt
Implementation of "A Local-Search Approach to Silhouette-Based Clustering" (https://thesis.unipd.it/handle/20.500.12608/40252)
Language:Java2 0
DPDmancul/termpdf.py
A graphical pdf (and epub, cbz, ...) reader that works inside the kitty terminal
Language:Python1 0
DPDmancul/triangle-counting
Mirror of https://gitlab.com/DPDmancul/triangle-counting. Implementation of Buriol, Luciana S., et al. "Counting triangles in data streams." Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. 2006.
Language:C2 0
DPDmancul/vim-stripper
Strip trailing whitespace in Vim.
Language:Vim Script1 0
DPDmancul/viuer
Rust library for displaying images in the terminal.
Language:Rust1 0
DPDmancul/wpaperd-no-nightly
Wallpaper daemon for Wayland. Version without nighlty code.
Language:Rust1 0