HigherOrderCO

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

icon location we are getting to the very core of what makes computers capable of reasoning.

Results 11 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
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

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

Bend

15.0k
Stars
366
Forks
Watchers

A massively parallel, high-level programming language

verified publisher icon HigherOrderCO

kind2

20
Stars
8
Forks
Watchers

Temporary repository for Kind2's refactor based on HVM2

verified publisher icon HigherOrderCO

Software-Foundations-In-Kind

16
Stars
7
Forks
Watchers

verified publisher icon HigherOrderCO