Pinned Repositories
Bend
A massively parallel, high-level programming language
FormCoreJS
A minimal pure functional language based on self dependent types.
HOP
Lightweight, higher-order parser in Rust.
HVM
A massively parallel, optimal functional runtime in Rust
hvm-64
HVM1
A massively parallel, optimal functional runtime in Rust
kind
Temporary repository for Kind2's refactor based on HVM2
Kind1
A next-gen functional language
Kindex
Collection of Kind2 programs and proofs
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/Kind1
A next-gen functional language
HigherOrderCO/hvm-64
HigherOrderCO/kind
Temporary repository for Kind2's refactor based on HVM2
HigherOrderCO/FormCoreJS
A minimal pure functional language based on self dependent types.
HigherOrderCO/TSPL
The Simplest Parser Library (that works) in Rust
HigherOrderCO/HVM1
A massively parallel, optimal functional runtime in Rust
HigherOrderCO/HOP
Lightweight, higher-order parser in Rust.
HigherOrderCO/Kindex
Collection of Kind2 programs and proofs
HigherOrderCO/Kind-Legacy
A modern proof language
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/hvm-compare-perf
Compare `hvm-core`'s historical performance
HigherOrderCO/hvm-core-serialization
HigherOrderCO/.github
HigherOrderCO/hvm-bench