Koka language compiler and interpreter (by koka-lang)

Koka Alternatives

Similar projects and alternatives to koka

  • rust

    2,691 koka VS rust

    Empowering everyone to build reliable and efficient software.

  • zig

    818 koka VS zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • Nim

    348 koka VS Nim

    Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  • v

    219 koka VS v

    Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  • homebrew-core

    🍻 Default formulae for the missing package manager for macOS (or Linux)

  • ocaml

    119 koka VS ocaml

    The core OCaml system: compilers, runtime system, base libraries

  • HVM

    112 koka VS HVM

    A massively parallel, optimal functional runtime in Rust

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  • xvm

    110 koka VS xvm

    Ecstasy and XVM

  • lunatic

    86 koka VS lunatic

    Lunatic is an Erlang-inspired runtime for WebAssembly

  • Vale

    64 koka VS Vale

    Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  • ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  • Fable: F# |> BABEL

    F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

  • hylo

    54 koka VS hylo

    The Hylo programming language

  • dark

    43 koka VS dark

    Darklang main repo, including language, backend, and infra

  • dafny

    Dafny is a verification-aware programming language

  • effekt

    A research language with effect handlers and lightweight effect polymorphism

  • pen

    10 koka VS pen

    The parallel, concurrent, and functional programming language for scalable software development (by pen-lang)

  • linear-base

    Standard library for linear types in Haskell.

  • Deal

    9 koka VS Deal

    🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

  • wasm-effect-handlers

    Discontinued WebAssembly specification, reference interpreter, and test suite with effect handlers extension.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better koka alternative or higher similarity.

koka reviews and mentions

Posts with mentions or reviews of koka. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-01-03.


Basic koka repo stats
3 days ago

koka-lang/koka is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

The primary programming language of koka is Haskell.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives