Giter Club home page Giter Club logo

Davide Peressoni's Projects

agda-examples icon agda-examples

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

anysoftkeyboard icon anysoftkeyboard

Android (f/w 2.1+) on screen keyboard for multiple languages (chat https://gitter.im/AnySoftKeyboard)

approx_sil icon 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.

botmensamazza icon botmensamazza

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

clap_serde_derive icon 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 icon 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.

csv2tex icon csv2tex

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

dotfiles icon dotfiles

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

fruit-or-vegetable icon 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

hello-world icon hello-world

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

highlight.js icon highlight.js

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

latex-workshop icon latex-workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

numpy icon numpy

The fundamental package for scientific computing with Python.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.