Agustín Martinez Suñé's repositories
gpt-latex-translator
A tool to translate LaTeX documents using OpenAI's ChatGPT API.
aemartinez.github.io
My personal website
C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
debate
Formalizing stochastic doubly-efficient debate
electricitymap-contrib
A real-time visualisation of the CO2 emissions of electricity consumption
final-pml
The PAC learning framework - Final report for the course Advanced Probabilistic Methods and Machine Learning Problems at the University of Buenos Aires.
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
hugo-sustain
🦁 Personal blog theme built with Bootstrap, powered by Hugo.
polytope-sampling
Uniform sampling under linear equality and inequality constraints
smt-lib
Parsing and printing SMT-LIB from Haskell.
syncplay
Client/server to synchronize media playback on mpv/VLC/MPC-HC/MPC-BE on many computers
vaidya-walk
Implementation of Vaidya and Dikin walks and experiments