📚️ A repository for showcasing my knowledge of the Koka programming language, and continuing to learn the language.
-
Updated
Oct 13, 2025 - Koka
#
koka-language
Here are 5 public repositories matching this topic...
⌨️ 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
Nulang is a modern systems programming language that combines the fault-tolerant distributed computing model of Erlang with advanced type system features borrowed from Rust, Pony, and research languages. It is designed for building concurrent, distributed, and AI-agent-powered applications.
rust algebraic-effects distributed-systems erlang actor-model concurrency pony ast rust-lang type-safe crdt elixir-lang fault-tolerant ai-agents beam-vm eff-lang durable-execution koka-language register-based-vm ai-agent-dsl
-
Updated
Jun 28, 2026 - Rust
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."