Popular repositories

1. HVM HVM Public

   Forked from HigherOrderCO/HVM

   A massively parallel, optimal functional runtime in Rust

   Cuda

2. Kind Kind Public

   Forked from HigherOrderCO/Kind1

   A modern proof language

   Rust

3. Kindelia Kindelia Public

   Forked from Kindelia/Kindelia

   Kindelia: an efficient, secure cryptocomputer

   Rust

4. discord-open-source discord-open-source Public

   Forked from discord/discord-open-source

   List of open source communities living on Discord

   JavaScript

5. Devops Devops Public

   Python

6. 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