U

utilities

Modular, lightweight libraries for basic utility functions in C projects.

Docker images

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

Ruby: Command-line utilities and scripts; Experiments, exercises, learning, etc.

The official repository for ToolBox!

Manage Linux input devices(mice, keyboards, touch pads, and more) with ease!

Utility Bash shell scripts I've written - typically these will run on Unix, Linux, OS X, and Cygwin

Code utilities for managing and deploying k69s

Extras for JTools that are either experimental or depend on 3rd party libraries

Utilities for my projects: java classes, ant tasks, jaxb, and nsis helpers.

Documentation: https://ekleinod.gitlab.io/edgeutils/

A collection of util functions and methods writ in python the elioWay.

A program for creating, deleting, controlling and organizing shortcuts to AppImage.

An advanced GUI library for Minecraft mods.

A bunch of utilities that will lift your project up to the sky.

Mirror of Randall's Codex 📜

CLI tool to manage, edit and create topic configurations in Kafka.

Scripts and stuff about Docker

Partially to practice with AWK and partially to build useful tooling for extracting and writing audio metadata.

Research Utilities for Python

... just some stuff I find useful