Alternatives and similar repositories for hvm

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

• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• HigherOrderCO / kindbook
  ☆55Updated 11 months ago
• phase / dtt
  dependent type theory experiment
  ☆26Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆23Updated 5 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆21Updated 3 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• marvinborner / interaction-net-resources
  Interaction net resources
  ☆41Updated 2 weeks ago
• geezee / smatch
  regexes for trees; grep for s-exprs
  ☆18Updated last year
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆61Updated 5 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆128Updated this week
• SparkyPotato / yam
  A low level, expressive language
  ☆13Updated last year
• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated 11 months ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆30Updated last week
• tiny-bow / ribbon-language
  The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…
  ☆21Updated this week
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆152Updated 5 months ago
• qexat / ansifmt
  A simple, lightweight library for ANSI styling.
  ☆24Updated last month
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 2 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆66Updated last month
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆16Updated 9 months ago
• slightknack / effective
  Messing around with delimited continuations, fibers, and algebraic effects
  ☆16Updated 4 years ago
• sjoerdvisscher / unfoldable
  Class of data structures that can be unfolded.
  ☆22Updated 2 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year