Pinned Loading

1. AoC24 AoC24 Public

   Repo for the 2024 Advent of Code

   Python

2. formal_methods_23 formal_methods_23 Public

   UPPAAL homework for the Formal Methods for Real and Concurrent Systems '23 class @ Politecnico di Milano

   Python

3. ngs_translator ngs_translator Public

   A Scala3 project to read .ngs files and serialise them into JSON files

   Scala

4. receipt-processor-challenge receipt-processor-challenge Public

   Forked from fetch-rewards/receipt-processor-challenge

   JavaScript

5. santa_bot_telegram santa_bot_telegram Public

   Python

6. TCBNN TCBNN Public

   Forked from pnnl/TCBNN

   Cuda