Koika Alternatives

Similar projects and alternatives to koika

• HVM

  107 7,101 6.7 Rust koika VS HVM

  A massively parallel, optimal functional runtime in Rust

  

• Vale

  64 1,660 6.8 Scala koika VS Vale

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

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• ponyc

  61 5,598 9.3 C koika VS ponyc

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

  

• hylo

  54 1,104 9.9 Swift koika VS hylo

  The Hylo programming language

  

• futhark

  52 2,291 9.8 Haskell koika VS futhark

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

  

• koka

  31 3,040 9.8 Haskell koika VS koka

  Koka language compiler and interpreter

  

• effekt

  13 283 9.6 Scala koika VS effekt

  A research language with effect handlers and lightweight effect polymorphism

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• kami

  2 136 3.6 Coq koika VS kami

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

  

• awesome-programming-languages

  10 525 8.3 koika VS awesome-programming-languages

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

• vericert

  1 80 8.3 Coq koika VS vericert

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

• hacl-star

  8 1,583 9.7 F* koika VS hacl-star

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

  

• silveroak

  3 97 7.3 Coq koika VS silveroak

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

  

• hardware

  2 23 0.0 Standard ML koika VS hardware

  Verilog development and verification project for HOL4 (by CakeML)

  

• CompCert

  36 1,761 7.3 Coq koika VS CompCert

  The CompCert formally-verified C compiler

  

• cogent

  4 157 0.0 Isabelle koika VS cogent

  Cogent Project

  

• karamel

  1 384 9.4 OCaml koika VS karamel

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

  

• datafun

  3 375 10.0 TeX koika VS datafun

  Research on integrating datalog & lambda calculus via monotonicity types

• jasmin

  1 221 9.4 Coq koika VS jasmin

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

  

• cubicaltt

  3 556 2.3 Haskell koika VS cubicaltt

  Experimental implementation of Cubical Type Theory

• usuba

  1 54 0.0 C koika VS usuba

  A programming language to write bitsliced ciphers

  

• SaaSHub

  www.saashub.com sponsored

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