Giters
Endor H (endorh)

endorh

Geek Repo

3

followers

5

following

38

stars

Github PK Tool:Github PK Tool

Endor H's starred repositories

gcrv

Computer Graphics Experiments

Language:KotlinStargazers:1Issues:0Issues:0

verbose-lean4

Natural language tactics to teach mathematics using Lean 4

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

aesop

White-box automation for Lean 4

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

aniyomi

An app for manga and anime

Language:KotlinLicense:Apache-2.0Stargazers:4665Issues:0Issues:0

compose-multiplatform

Compose Multiplatform, a modern UI framework for Kotlin that makes building performant and beautiful user interfaces easy and enjoyable.

Language:KotlinLicense:Apache-2.0Stargazers:15653Issues:0Issues:0

MDK

The Mod Developer Kit - this is where you start if you want to develop a new mod

Stargazers:181Issues:0Issues:0

NeoForge

Neo Modding API for Minecraft, based on Forge

Language:JavaLicense:NOASSERTIONStargazers:1087Issues:0Issues:0

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

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

TeXiFy-IDEA

LaTeX support for the IntelliJ platform by JetBrains.

Language:KotlinLicense:MITStargazers:878Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

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

lean

Lean 3 Theorem Prover (community fork)

Language:C++License:Apache-2.0Stargazers:435Issues:0Issues:0

mathlib4

The math library of Lean 4

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

vlsi-release-plugins

A set of plugins to simplify Gradle release tasks

Language:KotlinLicense:Apache-2.0Stargazers:39Issues:0Issues:0

intellij-pdf-viewer

Plugin for viewing PDF documents in IntelliJ-based IDEs.

Language:KotlinLicense:MITStargazers:79Issues:0Issues:0

Grammar-Kit

Grammar files support & parser/PSI generation for IntelliJ IDEA

Language:JavaLicense:NOASSERTIONStargazers:706Issues:0Issues:0

kool

An OpenGL / WebGPU engine for Desktop JVM, Android and Javascript written in Kotlin

Language:KotlinLicense:Apache-2.0Stargazers:284Issues:0Issues:0

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

Language:JavaLicense:Apache-2.0Stargazers:16937Issues:0Issues:0

kotlin-interactive-shell

Kotlin Language Interactive Shell

Language:JavaLicense:Apache-2.0Stargazers:587Issues:0Issues:0

jackson-module-kogera

Lightweight and high-performance jackson-module-kotlin

Language:KotlinLicense:Apache-2.0Stargazers:130Issues:0Issues:0

Shortcut-Composer

Krita plugin for creating complex keyboard shortcuts

Language:PythonLicense:GPL-3.0Stargazers:254Issues:0Issues:0

build-parameters

Compile-safe access to parameters supplied to a Gradle build

Language:GroovyLicense:Apache-2.0Stargazers:98Issues:0Issues:0

kotlinx.coroutines

Library support for Kotlin coroutines

Language:KotlinLicense:Apache-2.0Stargazers:12882Issues:0Issues:0

mordant

Multiplatform text styling for Kotlin command-line applications

Language:KotlinLicense:Apache-2.0Stargazers:938Issues:0Issues:0

kotlinx.serialization

Kotlin multiplatform / multi-format serialization

Language:KotlinLicense:Apache-2.0Stargazers:5276Issues:0Issues:0

DeepFaceLive

Real-time face swap for PC streaming or video calls

Language:PythonLicense:GPL-3.0Stargazers:25315Issues:0Issues:0

smart-completion

Better Completion for Minecraft Commands

Language:JavaLicense:MITStargazers:4Issues:0Issues:0

manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Language:JavaLicense:Apache-2.0Stargazers:2336Issues:0Issues:0

dark-geogebra

GeoGebra fork with dark theme (desktop only)

Language:JavaLicense:NOASSERTIONStargazers:6Issues:0Issues:0

do-a-barrel-roll

Microsoft flight simulator for Minecraft elytras.

Language:JavaLicense:GPL-3.0Stargazers:90Issues:0Issues:0

simple-config

Minecraft configuration made simple!

Language:JavaLicense:LGPL-3.0Stargazers:6Issues:0Issues:0