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/OpenBOR
Ayutac/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.
Ayutac/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.
Ayutac/simplexml
Simple XML
Ayutac/BetterTTV
BetterTTV enhances Twitch with new features, bug fixes, and reduced clutter.
Ayutac/freeciv-web
Freeciv-web is an Open Source strategy game implemented in HTML5, which can be played online against other players, or in single player mode against AI opponents.
Ayutac/gcs
GURPS Character Sheet
Ayutac/OpenRA
An open-source implementation of the Command & Conquer: Red Alert engine using .NET/Mono and OpenGL. Runs on Windows, Linux and Mac OS X.
Ayutac/OpenTTD
OpenTTD -- Official sync from Subversion -- Send PullRequests via http://bugs.openttd.org/ !
Ayutac/owmClient
A OpenWeatherMap JSON API client library in Java.
Ayutac/renpy
The Ren'Py Visual Novel Engine
Ayutac/schemes
Schemes are a collection of SchemeComponents which can have several parents and children. So these components are double linked lists and a scheme is a collection to remember the roots, leaves and elements in general for faster access.
Ayutac/SimpleDrawers
This mod adds drawers to the game that are capable of storing 2048 items of one type.
Ayutac/skirmishchampions
Ayutac/uncraftables
Crafting recipes for uncraftable items in Minecraft Vanilla.
Ayutac/ygopro
A script engine for "yu-gi-oh!" and sample gui. Since all cards are done, I'm going to create a new dueling system and this project will stop updating except bug fixing.