Repositories list

• HVM4

  Public
  C

  •2222 forks•8484 stars•1010 issues•1212 pull requests•Updated Mar 20, 2026Mar 20, 2026

• bench

  Public

  HigherOrderCO/bench’s past year of commit activity
  Benchmarks for HVM and Bend

  TypeScript

  •00 forks•55 stars•00 issues•00 pull requests•Updated Mar 18, 2026Mar 18, 2026

• HVM3

  Public

  HigherOrderCO/HVM3’s past year of commit activity
  HVM3

  Haskell

  •

  MIT License

  •2727 forks•281281 stars•77 issues•00 pull requests•Updated Jan 29, 2026Jan 29, 2026

• Bend

  Public

  HigherOrderCO/Bend’s past year of commit activity
  A massively parallel, high-level programming language

  Rust

  •

  Apache License 2.0

  •477477 forks•19k19k stars•9797 issues•77 pull requests•Updated Jun 3, 2025Jun 3, 2025

• Kind

  Public
  A modern proof language

  dependent-typesfunctional-programminglambda-calculus+ 6

  dependent-typesfunctional-programminglambda-calculustype-theorytheorem-proverformalitymoonadproof-languageproof-languages

  Haskell

  •

  MIT License

  •150150 forks•3.7k3.7k stars•33 issues•44 pull requests•Updated Jan 22, 2025Jan 22, 2025

• HVM2

  Public

  HigherOrderCO/HVM2’s past year of commit activity
  A massively parallel, optimal functional runtime in Rust

  Cuda

  •

  Apache License 2.0

  •436436 forks•11k11k stars•4444 issues•1212 pull requests•Updated Nov 21, 2024Nov 21, 2024

• HVM1

  Public
  A massively parallel, optimal functional runtime in Rust

  Rust

  •

  MIT License

  •436436 forks•3131 stars•11 issue•00 pull requests•Updated Aug 7, 2024Aug 7, 2024

• .github

  Public

  HigherOrderCO/.github’s past year of commit activity
  77 forks•22 stars•00 issues•00 pull requests•Updated Jun 28, 2024Jun 28, 2024