HigherOrderCO

icon indicating a website link https://higherorderco.com icon indicating an email [email protected]

icon location Building the massively parallel future of computers

Results 14 repositories owned by HigherOrderCO

Kind1

3.5k
Stars
142
Forks
Watchers

A next-gen functional language

verified publisher icon HigherOrderCO

HVM

9.9k
Stars
370
Forks
97
Watchers

A massively parallel, optimal functional runtime in Rust

verified publisher icon HigherOrderCO

Kindelia

560
Stars
39
Forks
Watchers

An efficient, secure cryptocomputer

verified publisher icon HigherOrderCO

FormCoreJS

69
Stars
7
Forks
Watchers

A minimal pure functional language based on self dependent types.

verified publisher icon HigherOrderCO

Class

19
Stars
35
Forks
Watchers

verified publisher icon HigherOrderCO

Functional-Benchmarks

32
Stars
5
Forks
Watchers

Collection of benchmarks of functional programming languages and proof assistants.

verified publisher icon HigherOrderCO

Kind2-before-merge

107
Stars
17
Forks
Watchers

Kind refactor based on HVM

verified publisher icon Kindelia

manifesto

55
Stars
7
Forks
Watchers

verified publisher icon Kindelia

Kindex

90
Stars
29
Forks
Watchers

Collection of Kind2 programs and proofs

verified publisher icon HigherOrderCO

hvm-core

413
Stars
28
Forks
Watchers

verified publisher icon HigherOrderCO