HigherOrderCO/Sites HigherOrderCO/Sites

  • Stars
    star
    1
  • Language
    TypeScript
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HigherOrderCO/Sites
github

HigherOrderCO

Reviews

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

Repository Details

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

Kind2

Kind refactor based on HVM
Rust
57
star
7

hvmcc

Rust
20
star
8

hvm-js

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

class

13
star
10

Explorer

TypeScript
12
star
11

IVM

Interaction net virtual machine
Rust
8
star
12

prelude

Purely functional data structures in HVM
6
star
13

fibulacci

TypeScript
5
star
14

kindelia-js

TypeScript
4
star
15

Tree-Sitter-Kind

C
4
star
16

foobar-chat

FooBar Chat
JavaScript
3
star
17

hvm-compare-perf

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

kindelia.org

kindelia.org
JavaScript
2
star
19

kind.be

TypeScript
2
star
20

hvm-core-serialization

Rust
2
star
21

KGT

DAPP
CSS
1
star
22

functional_benchmarks

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

IVM-doc

IVM docs
1
star
24

learning

HTML
1
star