-
dotfiles Public
Dotfiles of a dev
-
-
psp_music_converter Public
A script I use to fetch music from a server, and convert incompatible formats before writing them to my PSP.
Python GNU General Public License v3.0 UpdatedJun 15, 2025 -
cafehaine.eu Public
The source code for my personal website
TypeScript GNU General Public License v3.0 UpdatedMay 4, 2025 -
SVLang Public
SVLang, a toy language for the SVC16 "Simplest Virtual Computer"
Python GNU General Public License v3.0 UpdatedDec 29, 2024 -
-
watchy Public
My custom firmware for the Watchy smartwatch
C GNU General Public License v3.0 UpdatedJun 30, 2024 -
NixOS-Users-Against-MIC-Sponsorship.github.io Public
Forked from IreneKnapp/NixOS-Users-Against-MIC-Sponsorship.github.ioNix Creative Commons Zero v1.0 Universal UpdatedMar 18, 2024 -
AutoRefresh Public
A brackets-like auto refresh for your local website
Python MIT License UpdatedJan 11, 2024 -
site Public
The code and contents of my blog
-
xontrib-xlsd Public archive
xontrib-xlsd is the next gen ls command for xonsh shell, inspired by lsd.
-
de_showcase Public
Showcase Linux Desktop Environments
-
-
luaprettyprint Public archive
A simple yet complete table pretty print for lua
-
passgen Public archive
A simple passworg generator using lua and /dev/random
Lua MIT License UpdatedAug 23, 2022 -
SafeWord Public archive
A Löve2D library to help logging with multiple threads
Lua MIT License UpdatedAug 23, 2022 -
-
LuaBrainFuckCompiler Public archive
A compiler, for brainfuck, in lua, targeting x86_64 linux computers
Lua MIT License UpdatedAug 23, 2022 -
CafehainesArchInstaller Public archive
CaféHaine's Arch Installer (CAI)
Shell MIT License UpdatedAug 23, 2022 -
marc-cup Public archive
A lua parser for a custom markup language
-
striter Public archive
A lua library to iterate through strings and files
-
FeOLa Public archive
The Ferrous Oxide Launcher
-
coffeecross Public archive
A GPL licensed, crossplatform, picross game
-
-
coffeeoo Public archive
A simple object oriented library for lua (with inheritance)
Lua GNU Lesser General Public License v3.0 UpdatedAug 23, 2022 -
-
pykittyui Public archive
An open-source low level python library to create TUIs in Kitty
-
-
-
{{ message }}