GitHub Action to properly cache ~/.gradle folder

An image on demand server for OpenWrt based distributions

LuCI - OpenWrt Configuration Interface

software version control visualization

Nix, the purely functional package manager

A Proof-oriented Programming Language

Visualize Your Ideas With Code

Spring Framework

Black-box testing of stateful systems using properties

A dynamic lights mod for Minecraft with Fabric.

High-Performance Java-Native-Persistence. Store and load any Java Object Graph or Subgraphs partially, Relieved of Heavy-weight JPA. Microsecond Response Time. Ultra-High Throughput. Minimum of Lat…

Google's Operations Research tools:

Not a magic mod.

A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once (Fork of MultiMC)

minecraft mod to tweak a few things in minecraft sky and light rendering

Forget Ice Boats! Build fast rail systems instead.

Official Quilt template mod.

A mod that makes crashes so pleasant, you can't have enough of them!

This is the source code for the original Microsoft 3D Movie Maker released in 1995. This is not supported software.

A short example showing how to register a structure and get it to generate in all biomes in NeoForge, Forge, and Fabric! (check the branches)

Adds a highly-configurable zoom key for Quilt. The zoom is yours!

Browser extension that simplifies the GitHub interface and adds useful features

An abundance of new natural systems to make your world feel more alive than ever.

Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases

NVIDIA Linux open GPU kernel module source

Most popular Mocking framework for unit tests written in Java

A process for automating Docker container base image updates.

A Minecraft mod which adds more tooltip components to items.

Tracks changes of the lua prototype definitions in factorio inbetween releases.

A simple and unobtrusive todo list for Factorio.