kindelia-archive

Pinned Repositories

docs
Documentation for the Kindelia project.
10
HVM
LambdaVM in Rust
Language:Rust0 0 00
Kind-HVM
Kind -> HVM
30
Kindelia
A minimal decentralized computer.
Language:TypeScript120 11 35
Lambda-Calculus
A simple λ-calculus interpreter in TypeScript.
Language:TypeScript6 3 00
LambdaVM
A next-gen, massively parallel, beta-optimal functional runtime.
Language:TypeScript10 5 02
Lambolt
The fastest compile target for functional languages.
Language:TypeScript8 5 00
Ubilog
A simple, data-only, no-coin blockchain.
Language:TypeScript10 1 01

kindelia-archive's Repositories

kindelia-archive/Kindelia
A minimal decentralized computer.
Language:TypeScript120 11 35
kindelia-archive/LambdaVM
A next-gen, massively parallel, beta-optimal functional runtime.
Language:TypeScript10 5 02
kindelia-archive/Ubilog
A simple, data-only, no-coin blockchain.
Language:TypeScript10 1 01
kindelia-archive/Lambolt
The fastest compile target for functional languages.
Language:TypeScript8 5 00
kindelia-archive/Lambda-Calculus
A simple λ-calculus interpreter in TypeScript.
Language:TypeScript6 3 00
kindelia-archive/Kind-HVM
Kind -> HVM
30
kindelia-archive/docs
Documentation for the Kindelia project.
10
kindelia-archive/HVM
LambdaVM in Rust
Language:Rust0 0 00