Skip to content

@HigherOrderCO HigherOrderCO

Change the repository type filter

All

    Repositories list

    29 repositories

    • hvm4

      Public
      C
      •4•25•1•2•Updated Dec 18, 2025Dec 18, 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
      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
      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-calculustype-theorytheorem-proverformalitymoonadproof-languageproof-languages
      Haskell
      •
      MIT License
      •147•3.7k•3•4•Updated Jan 22, 2025Jan 22, 2025

    • kindbook

      Public
      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
      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
      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
      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
      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
      A minimal pure functional language based on self dependent types.
      JavaScript
      •12•73•0•3•Updated May 11, 2022May 11, 2022