Francesco Minnocci (BachoSeven)

BachoSeven

Geek Repo

Company:PHC

Location:Pisa, Italy

Home Page:https://poisson.phc.dm.unipi.it/~minnocci/

Github PK Tool:Github PK Tool

Francesco Minnocci's repositories

startpage

a cute little home for my browser

Language:JavaScriptStargazers:40Issues:3Issues:0

mimi

a better xdg-open - an active fork

Language:ShellLicense:MITStargazers:24Issues:2Issues:3

AARGH

AARGH - An Arch Ricing Gentle Helper

Language:ShellStargazers:8Issues:1Issues:0

aur

My PKGBUILDS

Language:ShellStargazers:2Issues:1Issues:0

BachoSeven

github readme repo

Language:CLicense:MITStargazers:2Issues:1Issues:0

homotopy-continuation

Computational Project about Homotopy Continuation

Language:TeXLicense:AGPL-3.0Stargazers:2Issues:1Issues:0

pdfExt

chromium extension to open PDFs externally with a custom script

Language:ShellStargazers:2Issues:1Issues:0

bachoseven.github.io

personal homepage

Language:HTMLStargazers:1Issues:1Issues:0

esercizi-logica

Esercizi del corso di Logica Matematica, A.A. 2022-23

Language:TeXLicense:CC0-1.0Stargazers:1Issues:1Issues:0

eti

set theory course resources

Language:TeXStargazers:1Issues:1Issues:0

sysdots

system-wide configuration files for Arch Linux

Language:ShellLicense:GPL-3.0Stargazers:1Issues:1Issues:0
Language:CLicense:MITStargazers:1Issues:1Issues:0

urlview

Extract URLs from a text file and allow the user to select via a menu

Language:CLicense:GPL-2.0Stargazers:1Issues:0Issues:0

wiki

keeping track of the drops in a sea of Linux learning

asd

uni cpp scripts

Language:C++Stargazers:0Issues:1Issues:0

chromium-web-store

Allows adding extensions from chrome web store on ungoogled-chromium. Also adds semi-automatic extension updating.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:1Issues:0

esercizi-istalg

A.A. 2022-23

Language:TeXStargazers:0Issues:1Issues:0

fast-syntax-highlighting

Contains additional x-paragon, x-fervent and x-tranquil themes.

Language:ShellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

MIL-codespace

Laboratorio di Lean

Language:HTMLStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0

paru

Feature packed AUR helper

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:1Issues:0

progettoGrafi

university project

Language:HTMLStargazers:0Issues:1Issues:0

sptlrx

Synchronized lyrics in your terminal

Language:GoLicense:MITStargazers:0Issues:0Issues:0

st

Personal repository for my own modifications to luke's build

Language:CLicense:MITStargazers:0Issues:0Issues:0

VueTorrent

The sleekest looking WEBUI for qBittorrent made with Vuejs!

Language:VueLicense:GPL-3.0Stargazers:0Issues:0Issues:0