Pinned Repositories
Dotingestion2
This is a project created for the subject TAP at the university of Catania. The idea is to showcase a simple ETL pipeline using some of the most widely known technologies in the big data fields
IAC-AD
All in one solution to painlessly setup an A/D competition by using IAC and automation tools such as Terraform and Ansible
Id-based-Proxy-Signature-Scheme-with-Message-Recovery
Prototype implementation written in c of the Id based Proxy Signature Scheme with Message Recovery created by Singh and Verma and improved by Zhou
Linear-System-Solver
A linear system of equations solver that uses Gaussian elimination implemented on OpenCL aimed to take advantage of the GPU to improve the performance on large systems
MandelbrotSetCUDA
A fun small project used to practice some CUDA. And to see some sweet fractal ass (don't quote me on that)
ns3-Tahoe-vs-Reno
Highly configurable simulation made using ns3 to compare two of the oldest TCP variants, Tahoe and Reno.
rules_doxygen
This repository contains a Starlark implementation of Doxygen rules in Bazel
Tutorato-Ingegneria-del-Software
Tutorato del corso Ingegneria del Software @UNICT-DMI 2022/2023
Tutorato-Reti-di-Calcolatori
Tutorato del corso Reti di Calcolatori @UNICT-DMI 2022/2023
Telegram-SpottedDMI-Bot
Telegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community.
TendTo's Repositories
TendTo/Tutorato-Reti-di-Calcolatori
Tutorato del corso Reti di Calcolatori @UNICT-DMI 2022/2023
TendTo/Tutorato-Ingegneria-del-Software
Tutorato del corso Ingegneria del Software @UNICT-DMI 2022/2023
TendTo/Quantum-random-walk-simulation
Jupyter notebook showing off how to implement some simple variations of the Quantum random walk using the Qiskit library
TendTo/smats
SMT symbolic evaluator
TendTo/Id-based-Proxy-Signature-Scheme-with-Message-Recovery
Prototype implementation written in c of the Id based Proxy Signature Scheme with Message Recovery created by Singh and Verma and improved by Zhou
TendTo/rules_doxygen
This repository contains a Starlark implementation of Doxygen rules in Bazel
TendTo/Tutorato-Template
Simple template for creating slides just using markdown and some extensions
TendTo/dlinear
Refactor of dLinear4 https://github.com/martinjos/dlinear4
TendTo/oh-my-posh
The most customisable and low-latency cross platform/shell prompt renderer
TendTo/IAC-AD
All in one solution to painlessly setup an A/D competition by using IAC and automation tools such as Terraform and Ansible
TendTo/advent-of-code
Solutions for the advent of code problems I was able to solve
TendTo/awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
TendTo/bazel-central-registry
The central registry of Bazel modules for the Bzlmod external dependency system.
TendTo/bazel-cpp-template
C++ project template using the build system Bazel with support for modules
TendTo/bazel_iwyu
IWYU Support for Bazel
TendTo/BlankDeadSnail
DURHACK
TendTo/dlinear4
Linear delta-complete SMT solver, based on dreal4 (https://github.com/dreal/dreal4)
TendTo/hycodev
Website for the HyCoDeV research group (in association with the Max Planck Institute)
TendTo/intentMPC
TendTo/Newcastle-Presentations
TendTo/NUCATS-Discord-Bot
Discord bot for managing the NUCATS discord server
TendTo/python-telegram-bot
We have made you a wrapper you can't refuse
TendTo/qsopt-ex
dlinear4's modified version of martin's qsopt-ex (https://github.com/martinjos/qsopt-ex). Included in dlinear as a dependency
TendTo/rules_boost
bazel build rules to use boost in bazel projects
TendTo/soplex
Sequential object-oriented simPlex
TendTo/symaware
Website to disseminate the research of the SymAware project.
TendTo/symaware-lib
TendTo/tasmas-symaware-base
TendTo/Telegram-SpottedDMI-Bot
Telegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community.
TendTo/Topic-Carousel
Carousel with infinite scroll with the ability to filter items through topics with no dependency.