HigherOrderCO/Bend HigherOrderCO/Bend

  • Stars
    star
    15,798
  • Rank 1,757 (Top 0.04 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created 10 months ago
  • Updated 22 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HigherOrderCO/Bend
github

HigherOrderCO

Reviews

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

Repository Details

A massively parallel, high-level programming language

More Repositories

1

HVM

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

Kind

A modern proof language
JavaScript
2,349
star
3

hvm-64

Rust
488
star
4

Kindelia

An efficient, secure cryptocomputer
Rust
439
star
5

Kind2

Kind refactor based on HVM
Rust
57
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