git.dyamon.me
[CURRENTLY MOVING SERVERS - SOME REPOS MIGHT BE MISSING]
index
about
Name
Description
Idle
config
dmenu
A personal fork of dmenu, the suckless X menu.
dotfiles
An over-engineered collection of config files, managed with GNU Stow.
13 months
dvtm
A personal fork of dvtm, the suckless dynamic virtual terminal manager.
dwm
A personal fork of dwm, the suckless window manager.
st
A personal fork of st, the suckless terminal.
2 years
keebs
cases
Well-known split keyboard cases with some personal modifications.
2 years
qmk_firmware
Fork of QMK firmware with personal profiles.
2 years
oxram
gitgud
[mirror] Timetravelling 101 with git and GitHub
personal
cv
Curriculum vitae.
site
Personal website.
2 years
wiki
Markdown-based wiki managed via PicoCMS and Nextcloud.
projects
ACQuA
OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT...
RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
18 months
backupbox
A portable box to quickly backup your daily pictures.
joyce
Record your thoughts as they come.
20 months
pangler
A tangler for Literate Programming with Pandoc
16 months
raccoon
A secret project with the TIC-80 fantasy console
12 months
rubik
A 2x2 Rubik's cube visualizer for Clingo, built with Three.js
21 months
sandy
A vim-like terminal text editor in OCaml.
3 months
puzzles
aoc
Solution for Advent of Code 20XX.
4 months
exercism
Collection of solutions to exercises from exercism.io.
22 months
tic80-snippets
A collection of libraries/examples/snippets for the TIC-80 fantasy console.
vim
mythic.nvim
Neovim assistant for the Mythic Adventure Generator.
4 months
neovim-tasks
A fork of Neovim plugin 'Shatur/neovim-tasks'.
3 months