Pinned Repositories
Advent-Of-Code
Mirror of https://gitlab.com/DPDmancul/aoc
Apple-Emoji
A complete Emoji packege for LaTeX
atom-block-and-line-comment
Atom package to add block comments
clap_serde_derive
Merge results from clap and serde into struct with derive. Mirror of https://gitlab.com/DPDmancul/clap-serde-derive
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.
Difesa-contro-le-Arti-Oscure
Corso introduttivo alla sicurezza informatica -- Mirror of https://gitlab.com/DPDmancul/dada
dotfiles
Mirror of https://gitlab.com/DPDmancul/dotfiles
Gestione-Emergenze-Protezione-Civile
Mirror of https://gitlab.com/DPDmancul/gestione_emergenze_protezione_civile
hello-world
An "Hello world!" which works in 17 languages. Mirror of https://gitlab.com/DPDmancul/hello-world
OsmerArpaFVG
App del meteo per il Friuli - Venezia Giulia per Ubuntu
DPDmancul's Repositories
DPDmancul/Apple-Emoji
A complete Emoji packege for LaTeX
DPDmancul/atom-block-and-line-comment
Atom package to add block comments
DPDmancul/OsmerArpaFVG
App del meteo per il Friuli - Venezia Giulia per Ubuntu
DPDmancul/Songs_dpd-
LaTeX package to write chorded music
DPDmancul/AnySoftKeyboard
Android (f/w 2.1+) on screen keyboard for multiple languages (chat https://gitter.im/AnySoftKeyboard)
DPDmancul/BCALM-viewer
Mirror of https://gitlab.com/DPDmancul/bcalm-viewer
DPDmancul/Campo-Minato-Fiorito
An example of game in PHP
DPDmancul/closed-unitigs
Mirror of https://gitlab.com/DPDmancul/closed-unitigs
DPDmancul/fruit-or-vegetable
From the point of view of biology and botanic a tomato is a fruit, but from the point of view of food it is commonly considered a vegetable. So how to distinguish between culinary fruit and vegetables? Mirror of https://gitlab.com/DPDmancul/fruit-or-vegetable
DPDmancul/huffman-for-integer-list-
Mirror of https://gitlab.com/DPDmancul/huffman-integer
DPDmancul/latex-songs-to-html
Mirror of https://gitlab.com/DPDmancul/latex-songs-to-html
DPDmancul/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
DPDmancul/lightline.vim
A light and configurable statusline/tabline plugin for Vim
DPDmancul/numpy
The fundamental package for scientific computing with Python.
DPDmancul/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
DPDmancul/OneParameterIsAlwaysEnough
Used only for merge requests: please refer to the original repo
DPDmancul/org-ref
org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.
DPDmancul/python-conceal
DPDmancul/rust
Empowering everyone to build reliable and efficient software.
DPDmancul/tiny-assembly-interpreter
Mirror of https://gitlab.com/DPDmancul/tiny-assembly-interpreter
DPDmancul/UST