kirraobj-s-archives Goto Github PK

adyeshach

Powerful plugin for creating virtual NPCs within the Minecraft

animation-garden

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

clojure-koans

A set of exercises for learning Clojure

haskell-mooc

Haskell MOOC University of Helsinki

jparser

justattribute

role attribute system

kether

A script-like quest plugin for Minecraft servers.

konad

Monads composition API that just works. For OOP developers

kotlingrad

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

krefty

Refined types for Kotlin

lambda_d

An experimental implementation of a dependently typed language in Kotlin

liquidjava

minecraftdev

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

moremobheads

Modified by Lewis

parser-combinator-koans

Koans to build parser combinator in Kotlin from scratch

placeholderapi

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

plt

Programming Language Theory λΠ

rowscript

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

rowscript.github.io

Website for RowScript

sf-zh

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

skript-parser

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

taboolib

Powerful framework for creating multi-platform Minecraft plugin

taboolib-gradle-plugin

zaphkiel

Centralized management system for ItemStack