Miguel M.'s repositories
templates
A repository for boilerplate projects.
quantum-tptp
Equational Theory for Quantum Circuits - TPTP formalisation
2023_IonQ_Remote
My participation on the 2023 iQuHack
AoC22
Advent of Code 2022
eq
Render LaTeX equations into the clipboard.
sudoku
Homework sudoku solver.
lonk
A link shortener in Rust.
scli
a simple terminal user interface for signal messenger (using signal-cli)
YGG
Yet-another Grammar Grammar
probability
Probabilistic reasoning and statistical analysis in TensorFlow
C-Maybe
A "Maybe" type, like found in Rust, implemented in C++.
texpander
Text expander for linux
QOP
QOP is a quantum variational optimizer simulator written in C, with a Python interface.
bifvbif
A dumb static website for a dumb joke.
Rot13
A tiny rot13 utility.
Telemoveis
Já experimentaste trocar?
Autosquare
Tiny ImageMgick command line wrapper to crop images to squares.