pg_uuidv7 compatible Python library for uuid7

Normalizes nested JSON according to a schema

Use pydantic with the Django REST framework

A simple framework for sharing Bash profiles, reusable shell libraries, and commands across hosts and teams. Contains builtin libraries for common functions like logging, error handling, and assert…

An axiom-free formalization of category theory in Coq for personal study and practical work

Collection of scrum labels to apply agile tactics to a GitHub repository

Taiga is a free and open-source project management for cross-functional agile teams.

The home of the CUE language! Validate and define text-based and dynamic configuration

A swiss army knife for Minecraft servers

Quilibrium protocol, supporting libraries, and light client

An OS for IoT devices. Use this repository as a base for your own scripts.

Graphs for Everyone

A User-Focused Photo & File Management System

La fontkodo de Pasporta Servo

Create virtual serial ports, connect them to physical serial ports, and create routes between them all.

Pomodoro Logger 🕤 -- When a time tracker meets Pomodoro and Kanban board

A pager program like less

p2p video conferencing powered by WebRTC.

🎹🎸A music theory library with a command-line interface

API Blueprint

Open source monster-fighting RPG.

voice recognition narratives, with GIF's!

Bash script to auto-create (via crouton) a Debian / Cinnamon installation within ChromeOS and install multiple development tools

Musical squares Lejos project during development

Python to Regex. Regex to Python. The yRegex for humans.