Pinned Loading

1. HigherOrderCO/HVM2 HigherOrderCO/HVM2 Public

   A massively parallel, optimal functional runtime in Rust

   Cuda 11.2k 435

2. HigherOrderCO/Kind HigherOrderCO/Kind Public

   A modern proof language

   Haskell 3.7k 148

3. HVM HVM Public

   Forked from HigherOrderCO/HVM2

   LambdaVM in Rust

   Rust 1

4. beautifier/js-beautify beautifier/js-beautify Public

   Beautifier for javascript

   JavaScript 8.9k 1.4k

5. hvm-visualizer hvm-visualizer Public

   HVM debug visualizer

   JavaScript 7

6. kindelia/Kindelia kindelia/Kindelia Public

   An efficient, secure cryptocomputer

   Rust 615 41