Popular repositories Loading

1. home-manager home-manager Public

   Forked from nix-community/home-manager

   Manage a user environment using Nix [maintainer=@rycee]

   Nix

2. idris2-tutorial idris2-tutorial Public

   Forked from stefan-hoeck/idris2-tutorial

   Idris

3. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

4. idris2-pkgs idris2-pkgs Public

   Forked from claymager/idris2-pkgs

   An unofficial Idris2 package repository for Nix

   Nix

5. ldb ldb Public

   Forked from nilederg/ldb

   Mindustry mod that adds tools for debugging logic.

   JavaScript

6. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C