Pinned Loading

1. memory-map memory-map Public

   View the places you've been and the memories you made.

   Rust 1 1

2. rust-fp-library rust-fp-library Public

   A functional programming library for Rust featuring your favourite higher-kinded types and typeclasses.

   Rust

3. nix-community/disko nix-community/disko Public

   Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

   Nix 2.8k 282

4. HigherOrderCO/HVM2 HigherOrderCO/HVM2 Public

   A massively parallel, optimal functional runtime in Rust

   Cuda 11.2k 434

5. argumentcomputer/yatima-lang-alpha argumentcomputer/yatima-lang-alpha Public archive

   A programming language for the decentralized web

   Rust 446 18

6. CS50 CS50 Public

   My solutions to problems I was tasked to solve in the CS50 course I took in the Summer of 2020.

   2