Lists of tax lien certificate states and tax deed states.

Notes from Fondamenti di Telecomunicazioni T, ING-INF 2017/2018 course @ UniBo

Benchmarking QLC vs TLC NVMe for LLM inference: TPS/TCO comparison of Solidigm D5-P5336 & D7-P5520 on 8×H100 with MiniMax-M2.5

Experimenting with TLA+

Some examples and notes while learning TLA+ modeling language.

utilities for CyclistsWithCameras

p2p file sharing program built with rust

Tool Life Cycle - GUI Web Application

Jupiter Refinement Project

Repository for my master's thesis containing translation tool, erlang code, generated gen-server

"Data analysis of NYC Yellow Taxi operations using January 2023 TLC dataset – uncovers peak demand zones, payment trends, fare patterns, and operational issues using Python and Kaggle Notebook"

TLC-BR Website built with Wagtail CMS (Python + Django)

End-to-end MLOps project for NYC TLC taxi demand forecasting with MLflow, Grafana, Terraform, Ansible, and GitHub Actions.

Bug finding challenge for all of the tools around

A repository that contains files relevant to my master's thesis on TLA+ specification writing guidelines for state space reduction.

Analyzing thin-layer chromatography (TLC) chromatograms

NBIS' teaching literature club

Convert TLA+ output (and values) into JSON

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Specifying and Verifying CRDT Protocols using TLA+