@HigherOrderCO
Guthub

HigherOrderCO

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4,244
  • Global Org. Rank 5,223 (Top 2 %)
  • Registered over 2 years ago
  • Most used languages
    Rust
         40.9 %
    TypeScript
         22.7 %
    JavaScript
         18.2 %
    CSS
         4.5 %
    C
         4.5 %
    HTML
         4.5 %
    Agda     4.5 %

Top repositories

1

Bend

A massively parallel, high-level programming language
Rust
15,798
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
488
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

Sites

TypeScript
1
star
25

learning

HTML
1
star