Pinned Repositories
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Croptopia
Fabric and Forge mod that adds crops and food to the game.
dungeon
fabric-example-worldgen
Contains examples how to worldgen
gcs-old
This is a fork of Richard A. Wilkes' GURPS Character Sheet (GCS) (Part gcs), with some slight changes by a group of roleplayers from Mayence, Germany. The master branch contains basic improvements conform with the offical rules while the mayence branch covers house rules.
OpenBOR
planet-b
Discover another planet that is weird and full of new resources!
TechReborn
Tech Reborn is a completely standalone tech mod including tools and machines to gather resources, process materials, and progress through the mod. https://www.curseforge.com/minecraft/mc-mods/techreborn
time
A time mod for minecraft
twids
A Dating Sim for The Wandering Inn
Ayutac's Repositories
Ayutac/fabric-example-worldgen
Contains examples how to worldgen
Ayutac/twids
A Dating Sim for The Wandering Inn
Ayutac/dungeon
Ayutac/magic
A magic mod for magic MC.
Ayutac/TechReborn
Tech Reborn is a completely standalone tech mod including tools and machines to gather resources, process materials, and progress through the mod. https://www.curseforge.com/minecraft/mc-mods/techreborn
Ayutac/tr-patchouli
A Patchouli guide for Tech Reborn
Ayutac/twi-gatcha
A gatcha game for The Wandering Inn.
Ayutac/Croptopia
Fabric and Forge mod that adds crops and food to the game.
Ayutac/AdvancedReborn
TechReborn's Addon
Ayutac/astral-science
Ayutac/BetterNether
BetterNether Mod
Ayutac/Cardinal-Components-API
Component API to add external data to objects.
Ayutac/cards
Ayutac/dark-enchanting
The Dark Enchanting mod for Fabric Mod Loader.
Ayutac/disenchanter
Ayutac/enchant
Enchanting game
Ayutac/fanfiction-linker
Ayutac/gs
Ayutac/gs-3
Ayutac/inmis
I need more inventory space! A Fabric backpack mod.
Ayutac/mizar-plugin
A mizar plugin for IntelliJ.
Ayutac/mizar-rs
Alternative Mizar proof checker (http://mizar.org/) written in Rust
Ayutac/MoodRay
Ayutac/omega-config
The ultimate configuration library. Available on Fabric.
Ayutac/simple-config
A most basic configuration lib.
Ayutac/system
Ayutac/trinkets
A data-driven accessory mod and API for Minecraft using Fabric.
Ayutac/twi-knowledge
Ayutac/WoodCutter
How much wood would a woodcutter cut if a woodcutter could cut wood?
Ayutac/yarn
Libre Minecraft mappings, free to use for everyone. No exceptions.