[MIRROR] Small helper tools to aid installing Crystal packages in Gentoo
Updated 2023-05-08 19:45:30 +00:00
A Python tool that logs all of the imports of a given portable executable (recursive directory searching is also an option).
Updated 2023-06-16 09:45:52 +00:00
Tools to aimlessly wander around the files of my Magellan eXplorist 110.
Updated 2022-08-04 19:40:14 +00:00
smallest python package stub for modern packaging (post-PEP517/8) that allows for editable installs with setuptools sans setup.py
Updated 2023-12-08 14:35:39 +00:00
Tools to provide a standard, predictable interface to access the four different types of documentation defined by https://diataxis.fr/
Updated 2022-01-24 15:34:57 +00:00
tools and software for managing and manipulating archival databases
Updated 2023-02-27 03:39:25 +00:00
Simple tools to work with binary files and display them
Updated 2022-01-01 08:32:14 +00:00
stupidly over-engineered wallpaper manage - now on git.
Updated 2021-11-25 02:17:45 +00:00
The simplest downloads folder organizer Linux service.
tools
automation
c
organization
profile-script
startup-applications
download-manager
cmake
organize
docker
Updated 2021-07-25 06:49:17 +00:00
various tools for managing a gopherhole
Updated 2021-07-20 04:52:22 +00:00
A suite of tools I'm a little too lazy to distribute my python code without sharing first
Updated 2021-08-12 18:30:59 +00:00
nihilazo / game_library
Archived
Tools I use to manage my video games.
Updated 2020-12-25 19:17:22 +00:00
Une page d'accueil simple et contenant l'essentiel de ce qu'il me faut au quotidien / A simple start page which have all of the essential tools I use everyday
Updated 2020-12-04 23:30:06 +00:00
Skin fitting the Mediawiki 'timeless' theme, for use with the Game Making Tools wiki.
Updated 2023-10-31 13:18:18 +00:00
A simplistic podcast fetcher and player.
- leverage command-line tools for fetching podcasts
- utilize the browser as a media player
Updated 2020-10-21 03:51:52 +00:00
Some gemini tools written in shell scripts
Updated 2021-09-08 18:11:09 +00:00
rjt / mediawiki-theme-vector-gmt
Archived
Skin fitting the Mediawiki 'vector' theme, for use with the Game Making Tools wiki.
Updated 2020-10-23 16:27:57 +00:00