Pinned Loading

1. BadLang BadLang Public

   The worst programming language you can write, directly into machine code

   C++ 1

2. AOC2023 AOC2023 Public

   Advent Of Code 2023 Solution in 25 different programming languages

   Zig

3. TheoryConsistentDecisionDiagrams TheoryConsistentDecisionDiagrams Public

   Official repository of the theorydd python package

   Python 2

4. DecisionDiagrams DecisionDiagrams Public

   Tool for evaluation of Theory Decision Diagrams

   Python 1

5. RustDPLLSatSolver RustDPLLSatSolver Public

   A Rust binary to solve the satisfiability problem through the DPLL algorithm

   Rust 1

6. Arbitrage Arbitrage Public

   Repo for the code produced during my internal internship with Unitn about solving the arbitrage problem through quantum annealing

   Python 2