HigherOrderCO

HigherOrderCO's repositories

HVM

A massively parallel, optimal functional runtime in Rust

Language:RustMIT7115 90 117

Kind

A next-gen functional language

Language:RustMIT3442 74 213

Kindelia

An efficient, secure cryptocomputer

Language:Rust571 28 112

hvm-core

Language:Rust427 13 7

Kindex

Collection of Kind2 programs and proofs

NOASSERTION91 9 10

hvm-lang

Language:Rust83 9 6

FormCoreJS

A minimal pure functional language based on self dependent types.

Language:JavaScript69 100

Functional-Benchmarks

Collection of benchmarks of functional programming languages and proof assistants.

Language:Lean32 2 2

TSPL

The Simplest Parser Library (that works) in Rust

Language:Rust31 10

kind2

Temporary repository for Kind2's refactor based on HVM2

Language:Rust20 10

Class

MIT19 15 4

Software-Foundations-In-Kind

Language:HTML16 8 2

HOP

Lightweight, higher-order parser in Rust.

Language:Rust10 50

IVM

Interaction net virtual machine

Language:Rust8 30

Kind-Legacy

A modern proof language

Language:JavaScriptMIT6 10

ICVM

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustMIT5 10

ICVM-lazy

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

MIT500

HOC

4 7 18

Kind.nvim

📀 | Kind programming language plugin for Neovim

Language:Scheme4 20

Tree-Sitter-Kind

Language:CMIT400

Kind-Language-Server

️🛠️ | Tooling for Kind language

Language:TypeScriptMIT200

.github

1 20

hvm-core-serialization

Language:Rust100

IVM-doc

IVM docs

100

HVM1

A massively parallel, optimal functional runtime in Rust

Language:RustMIT000