Pinned Loading

1. TinyML TinyML Public

   Interpreter for a small functional language

   F# 1

2. NFT-Lab/Hotmoka-ERC721 NFT-Lab/Hotmoka-ERC721 Public

   ERC721 for Hotmoka blockchain

   Java 1

3. algorithms-on-graphs algorithms-on-graphs Public

   A collection of algorithms on graphs written in rust

   Rust

4. model-checking-and-synthesis-of-best-effort-strategies-for-safety-and-co-safety-ltl model-checking-and-synthesis-of-best-effort-strategies-for-safety-and-co-safety-ltl Public

   Master thesis ; Master's Degree in Computer Science @ UniPD

   TeX

5. travelling-salesman-problem travelling-salesman-problem Public

   Methods and heuristics for Travelling Salesman Problem

   C++

6. NotOnlyStudents/frontend NotOnlyStudents/frontend Public

   EmporioLambda frontend

   TypeScript