HaLVM Alternatives

Similar projects and alternatives to HaLVM

• ghc-proposals

  159 670 9.1 Python HaLVM VS ghc-proposals

  Proposed compiler and language changes for GHC and GHC/Haskell

  

• haskell-language-server

  110 2,570 9.6 Haskell HaLVM VS haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  

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

  

• Mezzano

  48 3,484 4.4 Common Lisp HaLVM VS Mezzano

  An operating system written in Common Lisp

• mirage

  32 2,429 8.7 OCaml HaLVM VS mirage

  MirageOS is a library operating system that constructs unikernels

  

• nanos

  27 2,468 9.2 C HaLVM VS nanos

  A kernel designed to run one and only one application in a virtualized environment

  

• unikraft

  26 2,287 9.8 C HaLVM VS unikraft

  A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

  

• unik

  11 2,687 0.0 Go HaLVM VS unik

  The Unikernel & MicroVM Compilation and Deployment Platform

  

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

  

• solo5

  4 868 5.8 C HaLVM VS solo5

  A sandboxed execution environment for unikernels

  

• gilbraltar

  1 57 10.0 C HaLVM VS gilbraltar

  MirageOS on RPi4

• hermit-rs

  3 1,589 9.2 Rust HaLVM VS hermit-rs

  Hermit for Rust.

  

• house

  1 134 10.0 HaLVM VS house

  Haskell Operating System (by dls)