koika

A core language for rule-based hardware design 🦑 (by mit-plv)

Koika Alternatives

Similar projects and alternatives to koika

  1. HVM

    115 koika VS HVM

    A massively parallel, optimal functional runtime in Rust

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. Vale

    67 koika VS Vale

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

  4. ponyc

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

  5. hylo

    60 koika VS hylo

    The Hylo programming language

  6. futhark

    56 koika VS futhark

    :boom::computer::boom: A data-parallel functional programming language

  7. koka

    33 koika VS koka

    Koka language compiler and interpreter

  8. effekt

    13 koika VS effekt

    A language with lexical effect handlers and lightweight effect polymorphism

  9. SaaSHub

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

    SaaSHub logo
  10. silveroak

    Discontinued Formal specification and verification of hardware, especially for security and privacy.

  11. cogent

    4 koika VS cogent

    Cogent Project

  12. awesome-programming-languages

    The list of awesome programming languages that you might be interested in.

  13. CompCert

    40 koika VS CompCert

    The CompCert formally-verified C compiler

  14. datafun

    4 koika VS datafun

    Research on integrating datalog & lambda calculus via monotonicity types

  15. hacl-star

    HACL*, a formally verified cryptographic library written in F*

  16. kami

    2 koika VS kami

    A Platform for High-Level Parametric Hardware Specification and its Modular Verification (by mit-plv)

  17. hardware

    2 koika VS hardware

    Verilog development and verification project for HOL4 (by CakeML)

  18. jasmin

    3 koika VS jasmin

    Language for high-assurance and high-speed cryptography (by jasmin-lang)

  19. karamel

    2 koika VS karamel

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

  20. vericert

    A formally verified high-level synthesis tool based on CompCert and written in Coq.

  21. cubicaltt

    3 koika VS cubicaltt

    Experimental implementation of Cubical Type Theory

  22. usuba

    A programming language to write bitsliced ciphers

  23. 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 koika alternative or higher similarity.

koika discussion

Log in or Post with

koika reviews and mentions

Posts with mentions or reviews of koika. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-15.

Stats

Basic koika repo stats
2
155
0.0
8 months ago

mit-plv/koika is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of koika is Coq.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Coq is
the 80th most popular programming language
based on number of references?