koka

Koka language compiler and interpreter (by koka-lang)

Koka Alternatives

Similar projects and alternatives to koka

  • rust

    koka VS rust

    Empowering everyone to build reliable and efficient software.

  • effekt

    koka VS effekt

    A research language with effect handlers and lightweight effect polymorphism

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • wasm-effect-handlers

    koka VS wasm-effect-handlers

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

  • zig

    koka VS zig

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

  • dafny

    koka VS dafny

    Dafny is a verification-aware programming language

  • FStar

    koka VS FStar

    A Proof-oriented Programming Language

  • pen

    koka VS pen

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

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • rust

    koka VS rust

    Rust for the xtensa architecture. Built in targets for the ESP32 and ESP8266 (by esp-rs)

  • v

    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

  • HVM

    koka VS HVM

    A massively parallel, optimal functional runtime in Rust

  • ocaml

    koka VS ocaml

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

  • Vale

    koka VS Vale

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

  • val

    koka VS val

    The val compiler

  • Rust-for-Linux

    Adding support for the Rust language to the Linux kernel. (by Rust-for-Linux)

  • Nim

    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).

  • homebrew-core

    koka VS homebrew-core

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

  • ponyc

    koka VS ponyc

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

  • lunatic

    koka VS lunatic

    Lunatic is an Erlang-inspired runtime for WebAssembly

  • Fable: F# |> BABEL

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

  • dark

    koka VS dark

    Darklang main repo, including client, backend, and infra

  • SaaSHub

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

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.

Stats

Basic koka repo stats
29
2,532
0.0
12 days ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com