🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

binary releases of VS Code without MS branding/telemetry/licensing

kaldi-asr/kaldi is the official location of the Kaldi project.

Tmux Plugin Manager

Docker image that provides a Minecraft Server for Java Edition that automatically installs/upgrades versions, modloaders, modpacks and more at startup

Persists tmux environment across system restarts.

Lightweight justice for your single-board computer!

scripts I use from time to time

A research library for pytorch-based neural network pruning, compression, and more.

OpenWordnet-PT: an open access wordnet for Portuguese

Pre-configure Arch Linux ARM (RPI) before first boot

Actively maintained binary package repo for Arch Linux of free and open source pro-audio software.

Linux kernel PKGBUILD for ClockworkPI DevTerm A06. Now downstream from manjaro-arm. You probably want the manjaro-arm repo

Custom Caddy-based image with porkbun support.

PKGBUILDs for u-boot w/ clockworkpi DevTerm A06 patches, for Manjaro ARM. Now downstream from manjaro-arm. You probably want the manjaro-arm repo.

Post-install package for ArchLinux ARM/Manjaro ARM. Now downstream from manjaro-arm. You probably want the manjaro-arm repo.

Mirror of upstream arm-profiles w/ ClockworkPI A06 device profile added