Pinned Loading

1. unitn-sml/wmpy unitn-sml/wmpy Public

   Reasoning over weighted algebraic and logical constraints

   Python 25 5

2. BSplineX/BSplineX BSplineX/BSplineX Public

   Highly performant and easy-to-use BSpline library.

   C++ 4 1

3. arfv2025 arfv2025 Public

   Material for the course Automated Reasoning and Formal Verification a.a. 2024/2025 from the University of Trento

   SMT 2

4. go-risk-it/go-risk-it go-risk-it/go-risk-it Public

   Go 4

5. giovannizotta/kademlia giovannizotta/kademlia Public

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

   Python 5

6. giovannizotta/distributedsystems1 giovannizotta/distributedsystems1 Public

   Project for the course on Distributed Systems 1

   Java