masinag

react-supabase-auth-provider

React Auth Provider with Context & Supabase

matrita

Per creare i libretti della Messa del Matrimonio con LaTeX - Catholic wedding Mass booklets with laTeX.

go-risk-it-frontend

go-risk-it

TheoryConsistentDecisionDiagrams

Official repository of the theorydd python package

LazyVim

Neovim config for the lazy

professional-programming

A collection of learning resources for curious software engineers

lean4

Lean 4 programming language and theorem prover

horrifying-pdf-experiments

:syringe: Stuff which works in Chrome and maybe Acrobat and Foxit.

DecisionDiagrams

My work on DD during my project cource

Marabou

modern-cpp-features

A cheatsheet of modern C++ language and library features.

aocla

A small stack based, written to bring Advent of Code 2022 Day 13 puzzle to the extreme consequences

reverse-interview

Questions to ask the company during your interview

advent-of-code-setup

Automate input downloads and solution creation for Advent of Code

practical-fm

A gently curated list of companies using verification formal methods in industry

awesome-italia-remote

A list of remote-friendly or full-remote companies that targets Italian talents.

kademlia

Assignment for the course on Distributed Systems 2 and Simulation and Performance Evaluation

Transpiler-ASD-UniTN

A transpiler that translates pseudocode from Alberto Montresor book and slides in to python.

cppbestpractices

Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.

NvChad

Blazing fast Neovim config providing solid defaults and a beautiful UI, enhancing your neovim experience.

compdb

The compilation database Swiss army knife

pkget

Install packages on any Debian based Linux distro without root or installing it on the entire system

trinet-identity-attribute-recognition

A multi-task learning approach to person re-identification and attribute recognition. Written in PyTorch, trained and evaluated on the Market-1501 dataset.

hpc4ds

Project for the course on High Performance Computing

FormalMethods-2021