Kindelia

class Public

11 MIT 3 0 2 Updated Apr 10, 2022
HVM Public
A massively parallel, optimal functional runtime in Rust

Rust 4,364 MIT 119 30 (2 issues need help) 4 Updated Apr 9, 2022
Kind Public
A modern proof language

JavaScript 2,476 MIT 94 23 (1 issue needs help) 7 Updated Apr 8, 2022
Kind2 Public
Kind refactor based on HVM

Rust 20 5 1 1 Updated Apr 8, 2022
curso Public

HTML 2 0 0 0 Updated Apr 7, 2022
infra Public

Shell 0 1 0 0 Updated Apr 4, 2022
ROADMAP Public

4 1 0 0 Updated Mar 15, 2022
Meta Public
Temporary repository for meta info

0 0 0 0 Updated Mar 1, 2022
Kindelia Public
Kindelia: an efficient, secure cryptocomputer

23 0 0 0 Updated Feb 20, 2022

Pinned