The "/v3.0.1/v3.0.1 sourc..1 source code.tar.gz" file could not be found or is not available. Please select another file.

koka Files

Koka language compiler and interpreter

This is an exact mirror of the koka project, hosted at https://github.com/koka-lang/koka. SourceForge is not affiliated with koka.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
v3.2.3	2026-03-18		0
v3.2.2	2025-07-22		0
v3.2.0	2025-07-17		0
v3.1.3	2025-07-03		0
v3.1.2	2024-05-31		0
Totals: 5 Items			0

Other Useful Business Software

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Recommended Projects

Flix
The Flix Programming Language
css2d
This is a mod for Counter-Strike 2D! this mod make n effect for the game! A Bloom effect,so it is a Counter-Strike: Source 2D
Geeboss (Graphic Effect Editor for BOSS)
Geeboss is a Graphic Effect Editor for BOSS units (currently supports GT-8 guitar effect processor). Geeboss is written in Java (for Windows and Mac-OS support). It uses SWT as a graphic library and javax.sound.midi API to interact with BOSS effect units
SoundQ
Software for theatrical sound effect playback and setup.
Crystal Cursor
A cursor beautify tool with multiple follow cursor effect.

koka Files

Koka language compiler and interpreter

Get an email when there's a new version of koka