Addictive algebraric effect driven precise reactive UI framework.
-
Updated
Nov 2, 2026 - Koka
#
koka-language
Here are 7 public repositories matching this topic...
Nulang is a type-safe programming language and runtime designed for building fast, distributed, durable applications.
programming-language algebraic-effects distributed-systems erlang actor-model concurrency pony type-safe elixir-lang fault-tolerant ai-agents beam-vm durable-execution koka-language register-based-vm
-
Updated
Nov 5, 2026 - Rust
📚️ A repository for showcasing my knowledge of the Koka programming language, and continuing to learn the language.
-
Updated
Oct 13, 2025 - Koka
⌨️ The Koka programming language IDE submodule for SNU Programming Tools (2D Mode)
web-development web-ide gplv3 ide koka snu gpl3 snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools koka-lang snu2dprogrammingtools snu-project snu2dprogramming-tools koka-language prlogramming
-
Updated
Oct 13, 2025 - Koka
Compositional, effectful, and resource-safe streaming abstraction for Koka
-
Updated
Apr 26, 2026 - Koka
Add this topic to your repo
To associate your repository with the koka-language topic, visit your repo's landing page and select "manage topics."