-
nix-clean Public
tool that removes nix direnv, result and other junk gc roots. Also updates all flake locks.
Rust UpdatedMar 25, 2025 -
nix-dwarf-fortress-manager Public
what if the dwarf fortress folder where in the nix store
Nix UpdatedFeb 12, 2025 -
-
systemd-spawn Public
spawns a programm as systemd server inside a per program slice
Nix UpdatedJul 29, 2024 -
twilight Public
Forked from twilight-rs/twilightPowerful, flexible, and scalable ecosystem of Rust libraries for the Discord API.
Rust ISC License UpdatedMar 21, 2024 -
-
isabelle-emacs Public
Forked from m-fleury/isabelle-emacsClone of isabelle, with LSP extensions in seperate branches
Isabelle Other UpdatedFeb 12, 2024 -
mpris-player-info Public
shows information about the current player in bar. based on playerctld
-
doom-emacs-config Public
my personal config for doom emacs
Emacs Lisp Creative Commons Zero v1.0 Universal UpdatedMay 17, 2023 -
kowalski-rs Public
Forked from simonpannek/kowalski-rsKowalski is a small discord bot including some utility commands, reaction-roles and a level up system using reactions.
Rust UpdatedFeb 19, 2023 -
malloc-uninitialized Public
overwrite malloc with a function that fills the returned buffer with random data
Rust MIT License UpdatedSep 2, 2022 -
mem-dedup-attack-example Public
An example atttack based on memory deduplication.
Rust MIT License UpdatedAug 2, 2022 -
ksm-find-similar Public
This is a proof of concept implementation of a mitigation against some memory deduplicationion attacks
C Other UpdatedAug 2, 2022 -
json-in-place Public
edit json file through modifying the datastructure from elisp code
Emacs Lisp GNU General Public License v3.0 UpdatedApr 24, 2022 -
-
emacs-dice-roll Public
dice-roll as native emacs module
Rust GNU General Public License v3.0 UpdatedMar 24, 2022 -
-
-
-
-
bbb-bot Public
Forked from simonpannek/bbb-botSimple bot for Big Blue Button using Selenium
JavaScript UpdatedJun 29, 2021 -
-
-
-
-
-
-
-
-
{{ message }}