Alternatives and similar repositories for HVM

Users that are interested in HVM are comparing it to the libraries listed below

• HigherOrderCO / Kind
  A modern proof language
  ☆3,705Updated 9 months ago
• HigherOrderCO / Bend
  A massively parallel, high-level programming language
  ☆19,073Updated 5 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,739Updated 2 weeks ago
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,297Updated this week
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,790Updated 7 months ago
• unisonweb / unison
  A friendly programming language from the future
  ☆6,235Updated this week
• GitoxideLabs / gitoxide
  An idiomatic, lean, fast & safe pure Rust implementation of Git
  ☆10,503Updated this week
• tracel-ai / burn
  Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
  ☆13,340Updated this week
• rui314 / mold
  mold: A Modern Linker 🦠
  ☆15,831Updated last week
• borgo-lang / borgo
  Borgo is a statically typed language that compiles to Go.
  ☆4,481Updated last year
• bytecodealliance / wasmtime
  A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
  ☆17,132Updated this week
• Rust-GPU / rust-cuda
  Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
  ☆4,826Updated last week
• RustPython / RustPython
  A Python Interpreter written in Rust
  ☆20,756Updated last week
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,290Updated this week
• wasmerio / wasmer
  🚀 Fast, secure, lightweight containers based on WebAssembly
  ☆20,158Updated this week
• ziglang / zig
  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
  ☆42,001Updated last week
• jfecher / ante
  A safe, easy systems language
  ☆2,167Updated this week
• EmbarkStudios / rust-gpu
  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
  ☆7,587Updated last week
• tursodatabase / turso
  Turso is an in-process SQL database, compatible with SQLite.
  ☆14,626Updated this week
• enso-org / enso
  Enso Analytics is a self-service data prep and analysis platform designed for data teams.
  ☆7,437Updated this week
• tigerbeetle / tigerbeetle
  The financial transactions database designed for mission critical safety and performance.
  ☆14,224Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,609Updated this week
• leptos-rs / leptos
  Build fast web applications with Rust.
  ☆19,406Updated this week
• n0-computer / iroh
  peer-2-peer that just works
  ☆7,366Updated this week
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,165Updated 2 months ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,767Updated this week
• quickwit-oss / tantivy
  Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
  ☆13,954Updated this week
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,640Updated 2 years ago
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆4,961Updated last week
• PyO3 / pyo3
  Rust bindings for the Python interpreter
  ☆14,784Updated this week