Alternatives and similar repositories for hvm

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

• avsm / httpz
  Zero heap allocation HTTP server using OxCaml. v experimental!
  ☆60Updated this week
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• HigherOrderCO / kindbook
  ☆55Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated last month
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆23Updated 5 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆23Updated 3 years ago
• geezee / smatch
  regexes for trees; grep for s-exprs
  ☆18Updated last year
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆16Updated 4 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 3 years ago
• jamii / zest
  ☆134Updated 3 weeks ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆62Updated 6 months ago
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated last year
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated 2 months ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆54Updated last week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆34Updated last year
• graninas / type-level-interfaces-in-rust
  Type-level interfaces for type-level design in Rust
  ☆25Updated 11 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆130Updated 3 weeks ago
• OCamlPro / wasocaml
  ☆64Updated last year
• xieyuheng / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆58Updated 5 months ago
• Slowyn / haskell-raytracing
  My take on writing 'Ray Tracing in One Weekend' with Haskell
  ☆15Updated 4 months ago
• m-language / m
  A minimal language inspired by Lisp and Haskell
  ☆20Updated 5 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year