Repositories list

• hvm4

  Public
  C

  •4•22•1•1•Updated Dec 16, 2025Dec 16, 2025

• Bend2-old

  Public
  Bend2 - WIP

  Haskell

  •

  MIT License

  •14•239•11•1•Updated Dec 2, 2025Dec 2, 2025

• WanShi

  Public
  a lib

  Python

  •2•11•0•1•Updated Oct 16, 2025Oct 16, 2025

• HVM3

  Public

  HigherOrderCO/HVM3’s past year of commit activity
  HVM3

  Haskell

  •

  MIT License

  •26•277•7•0•Updated Sep 29, 2025Sep 29, 2025

• hs-highlight

  Public
  Haskell

  •

  MIT License

  •2•7•0•0•Updated Jul 26, 2025Jul 26, 2025

• Bend

  Public

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

  Rust

  •

  Apache License 2.0

  •468•19k•96•5•Updated Jun 3, 2025Jun 3, 2025

• HVM3-Strict

  Public
  C

  •

  MIT License

  •1•8•2•1•Updated Apr 23, 2025Apr 23, 2025

• Kind

  Public
  A modern proof language

  dependent-typesfunctional-programminglambda-calculus+ 6type-theorytheorem-proverformalitymoonadproof-languageproof-languages

  Haskell

  •

  MIT License

  •147•3.7k•3•4•Updated Jan 22, 2025Jan 22, 2025

• kindbook

  Public

  HigherOrderCO/kindbook’s past year of commit activity
  C

  •3•55•0•0•Updated Jan 5, 2025Jan 5, 2025

• enumerator

  Public
  0•6•0•0•Updated Dec 2, 2024Dec 2, 2024

• HVM

  Public
  A massively parallel, optimal functional runtime in Rust

  Cuda

  •

  Apache License 2.0

  •426•11k•44•13•Updated Nov 21, 2024Nov 21, 2024

• bend-language-server

  Public

  HigherOrderCO/bend-language-server’s past year of commit activity
  Language server for the Bend programming language

  Rust

  •

  MIT License

  •3•17•3•0•Updated Oct 18, 2024Oct 18, 2024

• tree-sitter-bend

  Public
  Bend grammar for tree-sitter.

  JavaScript

  •

  Other

  •0•8•0•0•Updated Oct 18, 2024Oct 18, 2024

• agda-cli

  Public
  Check agda commands from your terminal

  JavaScript

  •3•3•0•0•Updated Oct 7, 2024Oct 7, 2024

• kind2-archive

  Public

  HigherOrderCO/kind2-archive’s past year of commit activity
  Temporary repository for Kind2's refactor based on HVM2

  Rust

  •28•281•2•3•Updated Sep 25, 2024Sep 25, 2024

• HVM1

  Public
  A massively parallel, optimal functional runtime in Rust

  Rust

  •

  MIT License

  •426•31•1•0•Updated Aug 7, 2024Aug 7, 2024

• TSPL

  Public
  The Simplest Parser Library (that works) in Rust

  Rust

  •4•44•0•1•Updated Aug 6, 2024Aug 6, 2024

• Kind-Legacy

  Public
  A modern proof language

  JavaScript

  •

  MIT License

  •147•7•0•0•Updated Jul 20, 2024Jul 20, 2024

• Kind2-old

  Public archive
  A next-gen functional language

  Rust

  •

  MIT License

  •147•2•0•0•Updated Jun 28, 2024Jun 28, 2024

• .github

  Public
  6•2•0•0•Updated Jun 28, 2024Jun 28, 2024

• hvm-64

  Public
  Rust

  •

  Apache License 2.0

  •33•494•1•0•Updated Jun 11, 2024Jun 11, 2024

• hvm-core-serialization

  Public
  Rust

  •6•3•0•0•Updated Jun 5, 2024Jun 5, 2024

• hvm-bench

  Public

  HigherOrderCO/hvm-bench’s past year of commit activity
  Rust

  •0•2•0•0•Updated May 24, 2024May 24, 2024

• Kindex

  Public archive
  Collection of Kind2 programs and proofs

  Other

  •8•12•3•1•Updated May 17, 2024May 17, 2024

• hvm-compare-perf

  Public
  Compare `hvm-core`'s historical performance

  Rust

  •0•2•0•0•Updated Apr 1, 2024Apr 1, 2024

• ICVM-lazy

  Public
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Rust

  •

  MIT License

  •66•5•0•0•Updated Aug 1, 2023Aug 1, 2023

• ICVM

  Public

  HigherOrderCO/ICVM’s past year of commit activity
  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Rust

  •

  MIT License

  •66•6•0•1•Updated Jul 3, 2023Jul 3, 2023

• HOP

  Public
  Lightweight, higher-order parser in Rust.

  Rust

  •6•12•0•0•Updated Feb 4, 2023Feb 4, 2023

• FormCoreJS

  Public

  HigherOrderCO/FormCoreJS’s past year of commit activity
  A minimal pure functional language based on self dependent types.

  JavaScript

  •12•73•0•3•Updated May 11, 2022May 11, 2022