Alternatives and similar repositories for HVM

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

• HigherOrderCO / Bend
  A massively parallel, high-level programming language
  ☆19,100Updated 5 months ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,710Updated 10 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,755Updated this week
• RustPython / RustPython
  A Python Interpreter written in Rust
  ☆20,838Updated last week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,363Updated this week
• GitoxideLabs / gitoxide
  An idiomatic, lean, fast & safe pure Rust implementation of Git
  ☆10,569Updated last week
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,326Updated last week
• evcxr / evcxr
  ☆6,264Updated last month
• phil-opp / blog_os
  Writing an OS in Rust
  ☆17,065Updated last month
• iced-rs / iced
  A cross-platform GUI library for Rust, inspired by Elm
  ☆28,362Updated this week
• emilk / egui
  egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
  ☆27,255Updated last week
• uutils / coreutils
  Cross-platform Rust rewrite of the GNU coreutils
  ☆22,229Updated 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,504Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,798Updated this week
• nannou-org / nannou
  A Creative Coding Framework for Rust.
  ☆6,429Updated 2 weeks ago
• bytecodealliance / wasmtime
  A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
  ☆17,226Updated this week
• rust-lang / rust-analyzer
  A Rust compiler front-end for IDEs
  ☆15,725Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,401Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,173Updated this week
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,802Updated 8 months ago
• ast-grep / ast-grep
  ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
  ☆11,456Updated this week
• borgo-lang / borgo
  Borgo is a statically typed language that compiles to Go.
  ☆4,540Updated last year
• leptos-rs / leptos
  Build fast web applications with Rust.
  ☆19,518Updated this week
• rayon-rs / rayon
  Rayon: A data parallelism library for Rust
  ☆12,410Updated last month
• linebender / druid
  A data-first Rust-native UI design toolkit.
  ☆9,702Updated last year
• EmbarkStudios / rust-gpu
  🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧
  ☆7,582Updated last month
• mit-pdos / noria
  Fast web applications through dynamic, partially-stateful dataflow
  ☆5,207Updated 4 years ago
• rust-bakery / nom
  Rust parser combinator framework
  ☆10,201Updated 3 months ago
• clap-rs / clap
  A full featured, fast Command Line Argument Parser for Rust
  ☆15,747Updated last week
• jart / cosmopolitan
  build-once run-anywhere c library
  ☆20,215Updated 2 weeks ago