Koka Zero Language Playground

An online environment to write, run, and learn Koka. Uses my implementation KokaZero.

Built with Java Spring, with Bubblewrap to sandbox user binaries.

Orchestrated with Docker Swarm, atop a NixOS DigitalOcean droplet.

Local Development

Startup the backend services

./dev-compose.sh

Run the frontend with Vite dev mode

cd client/
npm i
npm run dev

Name		Name	Last commit message	Last commit date
Latest commit History 296 Commits
.github/workflows		.github/workflows
.mvn/wrapper		.mvn/wrapper
app		app
client		client
common		common
exe-cache		exe-cache
integration		integration
load-tester		load-tester
metrics		metrics
protocol		protocol
seccomp		seccomp
service		service
terraform		terraform
vm		vm
.dockerignore		.dockerignore
.gitattributes		.gitattributes
.gitignore		.gitignore
Dockerfile		Dockerfile
README.md		README.md
compose-dev.sh		compose-dev.sh
docker-compose.dev.yaml		docker-compose.dev.yaml
docker-compose.prod.yaml		docker-compose.prod.yaml
docker-compose.yaml		docker-compose.yaml
mvnw		mvnw
mvnw.cmd		mvnw.cmd
pom.xml		pom.xml
swarm-deploy.sh		swarm-deploy.sh
swarm-init.sh		swarm-init.sh