Repositories list

• taboolib

  Public
  Powerful framework for creating multi-platform Minecraft plugin

  Kotlin

  •

  MIT License

  •101•0•0•0•Updated Jul 5, 2024Jul 5, 2024

• MinecraftDev

  Public
  Plugin for IntelliJ IDEA that gives special support for Minecraft modding projects.

  Kotlin

  •

  GNU Lesser General Public License v3.0

  •187•0•0•0•Updated Mar 14, 2024Mar 14, 2024

• rowscript.github.io

  Public
  Website for RowScript

  JavaScript

  •

  MIT License

  •2•0•0•0•Updated Mar 4, 2024Mar 4, 2024

• skript-parser

  Public
  A standalone and improved implementation of the Skript language for use outside of Minecraft servers.

  Java

  •

  MIT License

  •15•0•0•0•Updated Feb 6, 2024Feb 6, 2024

• zaphkiel

  Public
  Centralized management system for ItemStack

  Kotlin

  •

  Creative Commons Zero v1.0 Universal

  •21•0•0•0•Updated Jan 30, 2024Jan 30, 2024

• liquidjava

  Public
  Java

  •1•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• haskell-mooc

  Public
  Haskell MOOC University of Helsinki

  HTML

  •

  Other

  •444•0•0•0•Updated Sep 20, 2023Sep 20, 2023

• lambda_d

  Public
  An experimental implementation of a dependently typed language in Kotlin

  Kotlin

  •

  MIT License

  •1•0•0•0•Updated Sep 5, 2023Sep 5, 2023

• clojure-koans

  Public
  A set of exercises for learning Clojure

  Clojure

  •2.1k•0•0•0•Updated Jul 23, 2023Jul 23, 2023

• rowscript

  Public
  RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.

  Rust

  •

  MIT License

  •1•0•0•0•Updated May 20, 2023May 20, 2023

• jparser

  Public
  Java

  •2•0•0•0•Updated May 6, 2023May 6, 2023

• Kether

  Public
  A script-like quest plugin for Minecraft servers.

  Java

  •

  MIT License

  •1•0•0•0•Updated Mar 18, 2023Mar 18, 2023

• PlaceholderAPI

  Public
  The best and simplest way to add placeholders to your server! - 1M+ Downloads - 2.5k+ Placeholders

  Java

  •

  GNU General Public License v3.0

  •222•0•0•0•Updated Mar 2, 2023Mar 2, 2023

• animation-garden

  Public
  美观且实用的动漫花园的多平台应用程序，使用 Compose Multiplatform 构建。

  Kotlin

  •

  GNU General Public License v3.0

  •55•0•0•0•Updated Feb 5, 2023Feb 5, 2023

• taboolib-gradle-plugin

  Public
  Groovy

  •

  MIT License

  •14•0•0•0•Updated Jan 29, 2023Jan 29, 2023

• MoreMobHeads

  Public
  Modified by Lewis

  Java

  •

  MIT License

  •6•0•0•0•Updated Jan 26, 2023Jan 26, 2023

• adyeshach

  Public
  Powerful plugin for creating virtual NPCs within the Minecraft

  Kotlin

  •

  MIT License

  •102•0•0•0•Updated Jan 16, 2023Jan 16, 2023

• kotlingrad

  Public
  🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

  Kotlin

  •

  Apache License 2.0

  •21•0•0•0•Updated Jan 16, 2023Jan 16, 2023

• JustAttribute

  Public
  role attribute system

  Java

  •2•0•0•0•Updated Sep 15, 2022Sep 15, 2022

• plt

  Public
  Programming Language Theory λΠ

  CSS

  •340•0•0•0•Updated Jun 27, 2022Jun 27, 2022

• krefty

  Public
  Refined types for Kotlin

  Kotlin

  •

  MIT License

  •1•0•0•0•Updated Apr 22, 2022Apr 22, 2022

• konad

  Public
  Monads composition API that just works. For OOP developers

  Kotlin

  •

  MIT License

  •5•0•0•0•Updated Apr 14, 2022Apr 14, 2022

• SF-zh

  Public
  《软件基础》中译版 Software Foundations Chinese Translation

  HTML

  •67•0•0•0•Updated Mar 14, 2022Mar 14, 2022

• parser-combinator-koans

  Public
  Koans to build parser combinator in Kotlin from scratch

  Kotlin

  •2•0•0•0•Updated Aug 27, 2020Aug 27, 2020