matclab's repositories
rofi-i3-shortcut-help
Mirror of https://gitlab.com/matclab/rofi-i3-shortcut-help
argos-hamster-plugin
Plugins for Argos gnome-shell extension allowing to manage hamster time tracker
rofi-file-selector
A script to quickly search and open a file with Rofi. Mirror of https://gitlab.com/matclab/rofi-file-selector
jelly-actix-web-starter
A starter template for actix-web projects that feels very Django-esque. Avoid the boring stuff and move faster.
alot
Terminal-based Mail User Agent
automattermostatus
Automate mattermost custom status with the help of wifi network
blackbox_exporter
Blackbox prober exporter
cargo-deb-amd64-ubuntu
Action for creating statically-linked .deb package for Rust projects using cargo deb
containernet
Mininet fork adding support for container-based (e.g. Docker) emulated hosts.
crev-proofs
Crev proof repository
dodo
A graphical, hackable email client based on notmuch
envoy-exporter
Prometheus exporter for Enphase Envoy gateways
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
ledger-autosync
Synchronize your ledger-cli files with your bank.
onestlatech.github.io
Manifeste des travailleuses et travailleurs du numérique pour une autre réforme des retraites
ontoblogie.clabaut.net
website content for use with nikola
practical-fm
A gently curated list of companies using verification formal methods in industry
rofi-hamster
Rofi interface for starting activity in Hamster. Mirror of https://gitlab.com/matclab/rofi-hamster
textshot
Python tool for grabbing text via screenshot
zero-to-production
Code for "Zero To Production In Rust", a book on API development using Rust.