HigherOrderCO/fibulacci HigherOrderCO/fibulacci

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TypeScript
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
HigherOrderCO/fibulacci
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

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