Pinned Repositories
Bend
A massively parallel, high-level programming language
Bend2
Bend2 - WIP
FormCoreJS
A minimal pure functional language based on self dependent types.
HVM
A massively parallel, optimal functional runtime in Rust
hvm-64
HVM3
HVM3
Kind
A modern proof language
kind2-archive
Temporary repository for Kind2's refactor based on HVM2
kindbook
TSPL
The Simplest Parser Library (that works) in Rust
HigherOrderCO's Repositories
HigherOrderCO/Bend
A massively parallel, high-level programming language
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
HigherOrderCO/Kind
A modern proof language
HigherOrderCO/hvm-64
HigherOrderCO/kind2-archive
Temporary repository for Kind2's refactor based on HVM2
HigherOrderCO/HVM3
HVM3
HigherOrderCO/Bend2
Bend2 - WIP
HigherOrderCO/FormCoreJS
A minimal pure functional language based on self dependent types.
HigherOrderCO/kindbook
HigherOrderCO/TSPL
The Simplest Parser Library (that works) in Rust
HigherOrderCO/HVM1
A massively parallel, optimal functional runtime in Rust
HigherOrderCO/bend-language-server
Language server for the Bend programming language
HigherOrderCO/HOP
Lightweight, higher-order parser in Rust.
HigherOrderCO/Kindex
Collection of Kind2 programs and proofs
HigherOrderCO/WanShi
a lib
HigherOrderCO/HVM3-Strict
HigherOrderCO/tree-sitter-bend
Bend grammar for tree-sitter.
HigherOrderCO/hs-highlight
HigherOrderCO/Kind-Legacy
A modern proof language
HigherOrderCO/enumerator
HigherOrderCO/ICVM
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
HigherOrderCO/ICVM-lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
HigherOrderCO/agda-cli
Check agda commands from your terminal
HigherOrderCO/hvm-core-serialization
HigherOrderCO/.github
HigherOrderCO/hvm-bench
HigherOrderCO/hvm-compare-perf
Compare `hvm-core`'s historical performance
HigherOrderCO/Kind2-old
A next-gen functional language