Popular repositories Loading

1. HVM HVM Public

   Forked from HigherOrderCO/HVM2

   A massively parallel, optimal functional runtime in Rust

   Cuda

2. Kindelia Kindelia Public

   Forked from kindelia/Kindelia

   Kindelia: an efficient, secure cryptocomputer

   Rust

3. Symmetric-Interaction-Calculus Symmetric-Interaction-Calculus Public

   Forked from VictorTaelin/Interaction-Calculus

   A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

   Rust

4. hvm-core hvm-core Public

   Forked from HigherOrderCO-archive/hvm-64

   Rust

5. uwuchat uwuchat Public

   Forked from VictorTaelin/uwuchat

   chat based messaging and rollback state computer

   JavaScript

6. bend bend Public

   Forked from HigherOrderCO/Bend

   Rust