Addictive algebraric effect driven precise reactive UI framework.
-
Updated
Aug 10, 2026 - Koka
#
koka-language
Here are 6 public repositories matching this topic...
Nulang is a modern runtime and systems programming language designed for fault-tolerant, concurrent, distributed, and AI-agent-powered applications.
rust algebraic-effects distributed-systems erlang actor-model concurrency pony ast type-safe crdt elixir-lang fault-tolerant ai-agents beam-vm durable-execution koka-language register-based-vm
-
Updated
Aug 10, 2026 - Rust
⌨️ 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
📚️ A repository for showcasing my knowledge of the Koka programming language, and continuing to learn the language.
-
Updated
Oct 13, 2025 - Koka
Compositional, effectful, and resource-safe streaming abstraction for Koka
-
Updated
Apr 26, 2026 - Koka
Improve this page
Add a description, image, and links to the koka-language topic page so that developers can more easily learn about it.
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."