Pinned Repositories
be-enter
Automatically create a new zfs boot environment with zedenv or beadm and chroot it
beadm
FreeBSD utility to manage Boot Environments on ZFS filesystems.
i3-wm-gruvbox-theme
An i3-wm gruvbox theme implementation
kiss-overlay
Overlay build files for KISS linux k1ss.org
nix-config.old
One repo to manage all of my NixOS machines
org-nag-clock-mode
Make Emacs remind (nag) you to clock-in to the org-mode timeclock
spartan-emacs
Finally, a simple Emacs framework
spm
Simple Power Manager is a lightweight posix shell script alternative to gui / tray apps like xfce-power-manager.
systemE
🤣 A lightweight systemd replacement written in Emacs lisp 🤣
themelios
Bootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process using any NixOS livedisk with an internet connection and your git repo. Themelios is flexible with many configuration options and allows for unique, per-machine customization.
a-schaefers's Repositories
a-schaefers/themelios
Bootstrap a zfs-on-root NixOS configuration in one command. Themelios automates the entire installation process using any NixOS livedisk with an internet connection and your git repo. Themelios is flexible with many configuration options and allows for unique, per-machine customization.
a-schaefers/org-nag-clock-mode
Make Emacs remind (nag) you to clock-in to the org-mode timeclock
a-schaefers/be-enter
Automatically create a new zfs boot environment with zedenv or beadm and chroot it
a-schaefers/nix-config.old
One repo to manage all of my NixOS machines
a-schaefers/oasis
a small statically-linked linux system
a-schaefers/grubbe-mkconfig
grubbe-mkconfig can be used as a beadm wrapper to automatically generate ZFS boot environment GRUB menu entries.
a-schaefers/kinesis-advantage2-mirror
2MB FIRMWARE ONLY unofficial mirror of kinesis advantage2 firmware and documentation from https://www.kinesis-ergo.com/advantage2-resources/ Because files don't exist if they are not in atleast 3 places ;-)
a-schaefers/kiss
🧱 Package manager for KISS
a-schaefers/kiss-init
🥾 Init scripts for KISS
a-schaefers/website
🌍 Website for KISS
a-schaefers/wiki
✏️ KISS Wiki sources (Click Wiki in the header above!)
a-schaefers/zedenv-grub
zedenv plugin for GRUB
a-schaefers/better-shell
Emacs shell management
a-schaefers/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
a-schaefers/cepl
Code Evaluate Play Loop
a-schaefers/cepl.examples
Some examples for the CEPL library
a-schaefers/cl-cookbook
The Common Lisp Cookbook
a-schaefers/emacs-async
Simple library for asynchronous processing in Emacs
a-schaefers/emacs.d
I'd rather be writing Lisp
a-schaefers/glsl-spec
The GLSL spec as a datastructure
a-schaefers/lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
a-schaefers/Mezzano
An operating system written in Common Lisp
a-schaefers/mostpopular
A set of session-aware tools that track MODX Revolution page views with customizable settings to improve accuracy and relevancy.
a-schaefers/pure-bash-bible
📖 A collection of pure bash alternatives to external processes.
a-schaefers/pure-sh-bible
📖 A collection of pure POSIX sh alternatives to external processes.
a-schaefers/rtg-math
common lisp library providing common math functions used in games
a-schaefers/samurai
ninja-compatible build tool written in C
a-schaefers/sly
Sylvester the Cat's Common Lisp IDE
a-schaefers/use-package
A use-package declaration for simplifying your .emacs
a-schaefers/varjo
Lisp to GLSL Language Translator