Projects in Awesome Lists by HigherOrderCO
A curated list of projects in awesome lists by HigherOrderCO .
https://github.com/higherorderco/bend
A massively parallel, high-level programming language
Last synced: 14 May 2025
https://github.com/HigherOrderCO/Bend
A massively parallel, high-level programming language
Last synced: 12 Mar 2025
https://github.com/higherorderco/hvm
A massively parallel, optimal functional runtime in Rust
Last synced: 13 May 2025
https://github.com/Kindelia/HVM
A massively parallel, optimal functional runtime in Rust
Last synced: 11 Mar 2025
https://github.com/HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
Last synced: 16 Mar 2025
https://github.com/higherorderco/kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 14 May 2025
https://github.com/higherorderco/kind1
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/Kind
A modern proof language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 12 Apr 2025
https://github.com/HigherOrderCO/Kind1
A next-gen functional language
dependent-types formality functional-programming lambda-calculus moonad proof-language proof-languages theorem-prover type-theory
Last synced: 27 Aug 2025
https://github.com/higherorderco/kind2-archive
Temporary repository for Kind2's refactor based on HVM2
Last synced: 05 Apr 2025
https://github.com/higherorderco/formcorejs
A minimal pure functional language based on self dependent types.
Last synced: 29 Apr 2025
https://github.com/higherorderco/tspl
The Simplest Parser Library (that works) in Rust
Last synced: 21 Jul 2025
https://github.com/higherorderco/hvm-js
High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM
Last synced: 29 Apr 2025
https://github.com/higherorderco/bend-language-server
Language server for the Bend programming language
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/bend-language-server
Language server for the Bend programming language
Last synced: 03 Jan 2026
https://github.com/higherorderco/hop
Lightweight, higher-order parser in Rust.
Last synced: 29 Apr 2025
https://github.com/HigherOrderCO/HOP
Lightweight, higher-order parser in Rust.
Last synced: 23 Jul 2025
https://github.com/higherorderco/tree-sitter-bend
Bend grammar for tree-sitter.
Last synced: 11 Jun 2025
https://github.com/HigherOrderCO/tree-sitter-bend
Bend grammar for tree-sitter.
Last synced: 03 Jan 2026
https://github.com/HigherOrderCO/ICVM
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Last synced: 12 Apr 2025
https://github.com/higherorderco/hvm-compare-perf
Compare `hvm-core`'s historical performance
Last synced: 06 Jan 2026
https://github.com/higherorderco/hvm-react-component
Render a Kind app as a React component.
Last synced: 05 Jun 2026
https://github.com/higherorderco/chat
Chat using next, prisma, planetscale
chat nextjs planetscale prisma
Last synced: 27 Feb 2025
https://github.com/HigherOrderCO/HVM1
A massively parallel, optimal functional runtime in Rust
Last synced: 17 Aug 2025