Giters
t5ugu

t5ugu

Geek Repo

8

followers

49

following

68

stars

Twitter:@t5ugu_

Github PK Tool:Github PK Tool

Organizations
Clayium-Isotope

t5ugu's starred repositories

EnderLink

Language:VueLicense:NOASSERTIONStargazers:23Issues:0Issues:0

prpl

Language:PythonLicense:MITStargazers:3Issues:0Issues:0

syntax-mcfunction

Syntax highlighting for mcfunction files.

Language:mcfunctionLicense:MITStargazers:41Issues:0Issues:0

Buildscripts

Shared buildscripts and templates for 1.12.2 Minecraft mods

Language:JavaLicense:MITStargazers:26Issues:0Issues:0

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Language:LeanLicense:Apache-2.0Stargazers:99Issues:0Issues:0

NNG4

Natural Number Game

Language:LeanLicense:Apache-2.0Stargazers:107Issues:0Issues:0

GameSkeleton

The standard template to create a lean game

Language:LeanLicense:MITStargazers:18Issues:0Issues:0

STG4

Set Theory Game

Language:LeanStargazers:6Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4582Issues:0Issues:0

monaspace

An innovative superfamily of fonts for code

Language:TypeScriptLicense:OFL-1.1Stargazers:14028Issues:0Issues:0

imp-spec

IMP: Interoperable Module Protocol design specification and recommendations for Minecraft datapacks.

Stargazers:19Issues:0Issues:0

unit

Next Generation Visual Programming System

Language:TypeScriptLicense:MITStargazers:3110Issues:0Issues:0

SkytilsMod

Skytils is a Hypixel Skyblock mod! Be careful, malicious copies are distributed across GitHub. Confirm on discord.gg/skytils (807302538558308352)

Language:KotlinLicense:AGPL-3.0Stargazers:1128Issues:0Issues:0

hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

Language:TypeScriptStargazers:3512Issues:0Issues:0

Sourcetrail

Sourcetrail - free and open-source interactive source explorer

Language:C++License:GPL-3.0Stargazers:14863Issues:0Issues:0

RagiMaterials

Minecraft mod for MC 1.12 that adds Material system based on Ore Dictionary and its usages

Language:KotlinLicense:AGPL-3.0Stargazers:12Issues:0Issues:0

ac-nh-turnip-prices

Price calculator/predictor for Turnip prices

Language:JavaScriptLicense:Apache-2.0Stargazers:1451Issues:0Issues:0

CameraFixation

相対的なカメラの位置と回転を固定できるリソパシェーダーです。

Language:GLSLLicense:MITStargazers:16Issues:0Issues:0

ForgeGradle-2.3

This is only for FG_2.3(for minecraft 1.12.2). Minecraft mod development framework used by Forge and FML for the gradle build system

Language:JavaLicense:LGPL-2.1Stargazers:31Issues:0Issues:0

mc-nbtdoc

Machine and human readable documentation for all of Minecraft's in game NBT data, written in the format described by https://github.com/Yurihaia/nbtdoc-rs

Language:PythonLicense:NOASSERTIONStargazers:51Issues:0Issues:0

Accuratecture

A minecraft resourcepack

Language:GLSLLicense:GPL-3.0Stargazers:5Issues:0Issues:0

FloatCalc

floating point number calculation library datapack.

Language:mcfunctionLicense:MITStargazers:8Issues:0Issues:0

minecraft-jigsaw-preview

Preview and debug Minecraft jigsaw structures.

Language:TypeScriptLicense:MITStargazers:23Issues:0Issues:0

minecraft-assets

Extracted Minecraft Assets

Stargazers:470Issues:0Issues:0

MinecraftForge

Modifications to the Minecraft base files to assist in compatibility between mods. New Discord: https://discord.minecraftforge.net/

Language:JavaLicense:NOASSERTIONStargazers:6912Issues:0Issues:0

mce

A programming environment for Minecraft

Language:KotlinLicense:MITStargazers:15Issues:0Issues:0

SmartMotion

Language:mcfunctionLicense:MITStargazers:9Issues:0Issues:0

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptLicense:Apache-2.0Stargazers:100608Issues:0Issues:0

clayiumce

Language:JavaStargazers:3Issues:0Issues:0

BuildCraft

BuildCraft

Language:JavaLicense:NOASSERTIONStargazers:1328Issues:0Issues:0