Francesco Minnocci's repositories
BachoSeven
github readme repo
homotopy-continuation
Computational Project about Homotopy Continuation
bachoseven.github.io
personal homepage
esercizi-logica
Esercizi del corso di Logica Matematica, A.A. 2022-23
chromium-web-store
Allows adding extensions from chrome web store on ungoogled-chromium. Also adds semi-automatic extension updating.
Language:JavaScriptMIT000
esercizi-istalg
A.A. 2022-23
fast-syntax-highlighting
Contains additional x-paragon, x-fervent and x-tranquil themes.
MIL-codespace
Laboratorio di Lean
Language:HTML000
paru
Feature packed AUR helper
Language:RustGPL-3.0000
progettoGrafi
university project
sptlrx
Synchronized lyrics in your terminal
Language:GoMIT000
st
Personal repository for my own modifications to luke's build
Language:CMIT000
VueTorrent
The sleekest looking WEBUI for qBittorrent made with Vuejs!
Language:VueGPL-3.0000