Adrian Freund's repositories
kit-slides-typst
A Karlsruhe Institute of Technology Slides Theme for Typst. This is only a mirror.
typst-notebook
Proof of concept for running jupyter kernels in typst documents.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
typst-test-feedstock
A conda-smithy repository for typst-test.
typst-typearea
A KOMA-Script inspired package to better configure your typearea and margins.
ansible-podman-collections
Repository for Ansible content that can include playbooks, roles, modules, and plugins for use with the Podman tool
bat
A cat(1) clone with wings.
cantara-webpage
Webpage of Cantara Song, the free and open source song presentation program
conda-forge-pinning-feedstock
A conda-smithy repository for conda-forge-pinning.
conda-forge-staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
CorC
Tool Support for Correctness-by-Construction
distrobox
Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
gnome-shell-extension-stealmyfocus
Shell Extension that let window that demand attention to steal focus
hddfancontrol
Regulate fan speed according to hard drive temperature
home-assistant-core
:house_with_garden: Open source home automation that puts local control and privacy first.
hydra
A typst package for displaying the active section in the page header or footer.
oh-my-git
An interactive Git learning game!
oxipng-feedstock
A conda-smithy repository for oxipng.
tinymist-feedstock
A conda-smithy repository for tinymist.
typst-feedstock
A conda-smithy repository for typst.
typst-lsp-feedstock
A conda-smithy repository for typst-lsp.
typst-packages
Packages for Typst.
zha-device-handlers
ZHA device handlers bridge the functionality gap created when manufacturers deviate from the ZCL specification, handling deviations and exceptions by parsing custom messages to and from Zigbee devices.