Karim Vergnes's repositories
zsh-comma-assistant
Supercharge your zsh with the true power of Nix!
power-profiles-hooks
D-Bus listener to run custom hooks with power-profiles-daemon switching events
AdventOfCode2020
My Advent of Code 2020 exercises in Haskell
blog.thesola.io
Source code for my blog
dracut-swap-tpm2
dracut-swap-tpm2
gnome-shell-overview-flick
Flick from the right side of the screen to summon Overview
Gtk4-WritePadWidget
A Gtk4 widget designed around the WritePad handwriting recognition API
nextcloud-nextframe
Nextframe, embeddable Nextcloud UI
vim-colors
Read-only mirror of last known vim-colors version from jakwings
aasdk
Library to build AndroidAuto headunit emulator (Nix flake version)
anbox-modules
Anbox kernel modules
gnome-shell-mobile-data-status
Adds network type label to the mobile data icon in the System panel
h264bitstream
A complete set of functions to read and write H.264 video bitstreams, in particular to examine or modify headers. (Nix flake version)
media-controls
A media indicator for the Gnome shell.
nixified-flask-app
A simple Flask app with a NixOS uWSGI module built-in
nixos-with-cucumber
NixOS machine config template with Cucumber tests and shortcuts to toplevel derivation
onlyoffice-nextcloud
The app which enables the users to edit office documents from Nextcloud using ONLYOFFICE Document Server, allows multiple users to collaborate in real time and to save back those changes to Nextcloud
pelicantheme
My personal website theme for Pelican
pom.jsonnet
JSonnet module to generate Maven pom.xml
pyimaprotect
Get alarm status and informations from the IMA Protect API.
StarSeller
Collection of implementations of a simple demo algorithm
thesola.io
My personal website.
thesola10.github.io
github.thesola.io stub to redirect to thesola.io/projects
xeus-cling
Jupyter kernel for the C++ programming language