HigherOrderCO/Kind2 HigherOrderCO/Kind2

  • Stars
    star
    57
  • Rank 522,947 (Top 11 %)
  • Language
    Rust
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HigherOrderCO/Kind2
github

HigherOrderCO

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Kind refactor based on HVM

More Repositories

1

Bend

A massively parallel, high-level programming language
Rust
16,932
star
2

HVM

A massively parallel, optimal functional runtime in Rust
Rust
3,852
star
3

Kind

A modern proof language
JavaScript
2,349
star
4

hvm-64

Rust
496
star
5

Kindelia

An efficient, secure cryptocomputer
Rust
439
star
6

hvmcc

Rust
20
star
7

hvm-js

High-order Virtual Machine (HVM) wrapper on JavaScript, via WASM
JavaScript
14
star
8

class

13
star
9

Explorer

TypeScript
12
star
10

IVM

Interaction net virtual machine
Rust
8
star
11

prelude

Purely functional data structures in HVM
6
star
12

fibulacci

TypeScript
5
star
13

kindelia-js

TypeScript
4
star
14

Tree-Sitter-Kind

C
4
star
15

foobar-chat

FooBar Chat
JavaScript
3
star
16

hvm-compare-perf

Compare `hvm-core`'s historical performance
Rust
2
star
17

kindelia.org

kindelia.org
JavaScript
2
star
18

kind.be

TypeScript
2
star
19

hvm-core-serialization

Rust
2
star
20

KGT

DAPP
CSS
1
star
21

functional_benchmarks

Collection of benchmarks of functional programming languages and proof assistants.
Agda
1
star
22

IVM-doc

IVM docs
1
star
23

Sites

TypeScript
1
star
24

learning

HTML
1
star