DPDmancul
Follow
-
-
dotfiles Public
Mirror of https://gitlab.com/DPDmancul/dotfiles
-
Expressionify Public
Forked from ClaveConsulting/ExpressionifyUse extension methods in Entity Framework Core queries
C# MIT License UpdatedDec 11, 2024 -
clap_serde_derive Public
Merge results from clap and serde into struct with derive. Mirror of https://gitlab.com/DPDmancul/clap-serde-derive
-
MWE for C# bug of GetCustomAttribute looking for the attribute constructor
C# UpdatedJun 18, 2024 -
quartznet Public
Forked from quartznet/quartznetQuartz Enterprise Scheduler .NET
C# Apache License 2.0 UpdatedJun 14, 2024 -
agda-examples Public
Some examples of the usage of Agda as proof assistant. Mirror of https://gitlab.com/DPDmancul/agda-examples
Agda Apache License 2.0 UpdatedDec 31, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJul 7, 2023 -
feh-random-background Public
Forked from KoviRobi/feh-random-backgroundRandomize your backgrounds while avoiding the birthday problem
Nix MIT License UpdatedFeb 25, 2023 -
AspNetCore.Diagnostics.HealthChecks Public
Forked from Xabaril/AspNetCore.Diagnostics.HealthChecksUsed for pull requests
C# Apache License 2.0 UpdatedFeb 3, 2023 -
silopt Public
Implementation of "A Local-Search Approach to Silhouette-Based Clustering" (https://thesis.unipd.it/handle/20.500.12608/40252)
Java Other UpdatedJan 8, 2023 -
hello-world Public
An "Hello world!" which works in 17 languages. Mirror of https://gitlab.com/DPDmancul/hello-world
-
viuer Public
Forked from atanunq/viuerRust library for displaying images in the terminal.
Rust MIT License UpdatedOct 6, 2022 -
vim-xsampa Public
Forked from tckmn/vim-xsamiautomatic X-SAMPA to IPA translation
-
complete-integers-agda Public
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 …
-
unipd-thesis-template Public
Template tesi UniPD in LaTeX. Mirror of https://gitlab.com/DPDmancul/unipd-thesis-template
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJul 1, 2022 -
BotMensaMazza Public
Forked from SaverioMonaco/BotMensaMazzaTelegram Bot to deliver daily the menu at Collegio Universitario D. Nicola Mazza
Python Apache License 2.0 UpdatedJun 22, 2022 -
Difesa-contro-le-Arti-Oscure Public
Corso introduttivo alla sicurezza informatica -- Mirror of https://gitlab.com/DPDmancul/dada
-
srs Public
An s-expression to Rust transpiler. Mirror of https://gitlab.com/DPDmancul/srs
-
Mirror of https://gitlab.com/DPDmancul/gestione_emergenze_protezione_civile
-
approx_sil Public
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 clus…
Rust Other UpdatedMar 24, 2022 -
beamerThemePadovaDEI Public
Forked from electricant/beamerThemePadovaDEIThis forked repo is used only for pull requests: please refer to the original repo
TeX LaTeX Project Public License v1.3c UpdatedMar 1, 2022 -
vim-stripper Public
Forked from itspriddle/vim-stripperStrip trailing whitespace in Vim.
Vim Script UpdatedFeb 10, 2022 -
csv2tex Public
Convert CSV files to LaTeX tables. Mirror of https://gitlab.com/DPDmancul/csv2tex
Python Apache License 2.0 UpdatedFeb 8, 2022 -
wpaperd-no-nightly Public
Forked from danyspin97/wpaperdWallpaper daemon for Wayland. Version without nighlty code.
Rust GNU General Public License v3.0 UpdatedJan 30, 2022 -
unipd-exam-dates-finder Public
Find dates for exams at UniPD. Mirror of https://gitlab.com/DPDmancul/unipd-exam-dates-finder
-
triangle-counting Public
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…
C MIT License UpdatedJan 21, 2022 -
highlight.js Public
Forked from highlightjs/highlight.jsJavaScript syntax highlighter with language auto-detection and zero dependencies.
JavaScript BSD 3-Clause "New" or "Revised" License UpdatedJan 17, 2022 -
termpdf.py Public
Forked from dsanson/termpdf.pyA graphical pdf (and epub, cbz, ...) reader that works inside the kitty terminal
Python MIT License UpdatedDec 5, 2021