Giters
Davide Peressoni (DPDmancul)

DPDmancul

Geek Repo

17

followers

22

following

497

stars

Location:EU→ IT→ Friûl

Home Page:https://dpdmancul.gitlab.io/blog/

Github PK Tool:Github PK Tool

Organizations
missing-semester-it
NixOS

Davide Peressoni's repositories

dotfiles

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

Language:MarkdownLicense:NOASSERTIONStargazers:4Issues:4Issues:0

clap_serde_derive

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

Language:RustLicense:AGPL-3.0Stargazers:3Issues:2Issues:0

Difesa-contro-le-Arti-Oscure

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

Language:TeXLicense:NOASSERTIONStargazers:2Issues:2Issues:0

Gestione-Emergenze-Protezione-Civile

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

Language:JavaScriptLicense:AGPL-3.0Stargazers:2Issues:2Issues:0

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:AgdaLicense:Apache-2.0Stargazers:1Issues:2Issues:0

hello-world

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

Language:PythonLicense:MITStargazers:1Issues:3Issues:0

srs

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

Language:RustLicense:GPL-3.0Stargazers:1Issues:2Issues:0

unipd-exam-dates-finder

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

Language:PythonLicense:Apache-2.0Stargazers:1Issues:2Issues:0

unipd-thesis-template

Template tesi UniPD in LaTeX. Mirror of https://gitlab.com/DPDmancul/unipd-thesis-template

Language:TeXStargazers:1Issues:2Issues:0

vim-xsampa

automatic X-SAMPA to IPA translation

Language:Vim ScriptLicense:GPL-3.0Stargazers:1Issues:1Issues:0

agda-examples

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

Language:AgdaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

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:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

AspNetCore.Diagnostics.HealthChecks

Used for pull requests

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

beamerThemePadovaDEI

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

Language:TeXLicense:LPPL-1.3cStargazers:0Issues:0Issues:0

BotMensaMazza

Telegram Bot to deliver daily the menu at Collegio Universitario D. Nicola Mazza

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

corso-latex

Mirror of https://gitlab.com/DPDmancul/corso-latex

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

corso-sviluppo-web

Mirror of https://gitlab.com/DPDmancul/corso-web

Language:TeXLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cs-get-attribute-ctor-bug-mwe

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

Language:C#Stargazers:0Issues:1Issues:0

csv2tex

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

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:0

feh-random-background

Randomize your backgrounds while avoiding the birthday problem

Language:NixLicense:MITStargazers:0Issues:1Issues:0

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:1Issues:0

quartznet

Quartz Enterprise Scheduler .NET

License:Apache-2.0Stargazers:0Issues:0Issues:0

silopt

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

termpdf.py

A graphical pdf (and epub, cbz, ...) reader that works inside the kitty terminal

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

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:CLicense:MITStargazers:0Issues:2Issues:0

vim-stripper

Strip trailing whitespace in Vim.

Language:Vim ScriptStargazers:0Issues:1Issues:0

viuer

Rust library for displaying images in the terminal.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

wpaperd-no-nightly

Wallpaper daemon for Wayland. Version without nighlty code.

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0