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.
24 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.
3 years
keebs
cases
Well-known split keyboard cases with some personal modifications.
3 years
qmk_firmware
Fork of QMK firmware with personal profiles.
3 years
oxram
gitgud
[mirror] Timetravelling 101 with git and GitHub
personal
cv
Curriculum vitae.
site
Personal website.
3 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
2 years
backupbox
A portable box to quickly backup your daily pictures.
joyce
Record your thoughts as they come.
3 years
pangler
A tangler for Literate Programming with Pandoc
2 years
raccoon
A secret project with the TIC-80 fantasy console
24 months
rubik
A 2x2 Rubik's cube visualizer for Clingo, built with Three.js
3 years
sandy
A vim-like terminal text editor in OCaml.
14 months
puzzles
aoc
Solution for Advent of Code 20XX.
15 months
exercism
Collection of solutions to exercises from exercism.io.
3 years
tic80-snippets
A collection of libraries/examples/snippets for the TIC-80 fantasy console.
vim
mythic.nvim
Neovim assistant for the Mythic Adventure Generator.
15 months
neovim-tasks
A fork of Neovim plugin 'Shatur/neovim-tasks'.
14 months