Skip to content

@HigherOrderCO HigherOrderCO

Change the repository type filter

All

    Repositories list

    24 repositories

    • HVM3

      Public
      HVM3
      Haskell
      •
      MIT License
      •11•136•7•5•Updated Jan 30, 2025Jan 30, 2025

    • Kind

      Public
      A modern proof language
      dependent-typesfunctional-programminglambda-calculustype-theorytheorem-proverformalitymoonadproof-languageproof-languages
      Haskell
      •
      MIT License
      •145•3.6k•3•3•Updated Jan 22, 2025Jan 22, 2025

    • kindbook

      Public
      C
      •1•41•0•0•Updated Jan 5, 2025Jan 5, 2025

    • Bend

      Public
      A massively parallel, high-level programming language
      Rust
      •
      Apache License 2.0
      •445•18k•93•5•Updated Dec 26, 2024Dec 26, 2024

    • enumerator

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

    • HVM

      Public
      A massively parallel, optimal functional runtime in Rust
      Cuda
      •
      Apache License 2.0
      •415•11k•41•11•Updated Nov 21, 2024Nov 21, 2024

    • bend-language-server

      Public
      Language server for the Bend programming language
      Rust
      •
      MIT License
      •3•12•3•0•Updated Oct 18, 2024Oct 18, 2024

    • tree-sitter-bend

      Public
      Bend grammar for tree-sitter.
      JavaScript
      •
      Other
      •0•6•0•0•Updated Oct 18, 2024Oct 18, 2024

    • agda-cli

      Public
      Check agda commands from your terminal
      JavaScript
      •3•2•0•0•Updated Oct 7, 2024Oct 7, 2024

    • kind2-archive

      Public
      Temporary repository for Kind2's refactor based on HVM2
      Rust
      •28•284•2•3•Updated Sep 25, 2024Sep 25, 2024

    • HVM1

      Public
      A massively parallel, optimal functional runtime in Rust
      Rust
      •
      MIT License
      •415•29•1•0•Updated Aug 7, 2024Aug 7, 2024

    • TSPL

      Public
      The Simplest Parser Library (that works) in Rust
      Rust
      •4•42•0•1•Updated Aug 6, 2024Aug 6, 2024

    • Kind-Legacy

      Public
      A modern proof language
      JavaScript
      •
      MIT License
      •145•7•0•0•Updated Jul 20, 2024Jul 20, 2024

    • Kind2-old

      Public archive
      A next-gen functional language
      Rust
      •
      MIT License
      •145•1•0•0•Updated Jun 28, 2024Jun 28, 2024

    • .github

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

    • hvm-64

      Public
      Rust
      •
      Apache License 2.0
      •34•493•1•0•Updated Jun 11, 2024Jun 11, 2024

    • hvm-core-serialization

      Public
      Rust
      •6•2•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
      •7•11•3•1•Updated May 17, 2024May 17, 2024

    • hvm-compare-perf

      Public
      Compare `hvm-core`'s historical performance
      Rust
      •1•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
      •57•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
      •57•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
      •13•72•0•3•Updated May 11, 2022May 11, 2022