Popular repositories Loading

1. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

2. streem streem Public

   Forked from matz/streem

   prototype of stream based programming language

   Bison

3. haskellings haskellings Public template

   Forked from MondayMorningHaskell/haskellings

   An automated tutorial to teach you about Haskell!

   Haskell

4. home-manager home-manager Public

   Forked from nix-community/home-manager

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

   Nix

5. mCRL2 mCRL2 Public

   Forked from mCRL2org/mCRL2

   The Git repository for the mCRL2 toolset.

   C++

6. tool_lists tool_lists Public

   Forked from johnyf/tool_lists

   Links to tools by subject