Popular repositories Loading

1. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

2. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

3. nix-modules nix-modules Public

   My NixOS Modules

   Nix