Projects
The following projects are hosted on this server:
| Id | Name | Description |
|---|---|---|
| acoda | Acoda | Acoda is a tool set for automatic data migration along an evolving data model |
| crawljax | Crawljax | Crawljax |
| gnu | GNU | GNU's Not Unix |
| groove | Groove | Groove |
| hydra | Hydra | Hydra, the Nix-based continuous build system |
| kde | KDE | KDE |
| ltsmin | LTSmin | LTSmin |
| meta-environment | Meta Environment | Meta Environment |
| nix | Nix | Nix, the purely functional package manager |
| nixos | NixOS | NixOS, the purely functional Linux distribution |
| nixpkgs | Nixpkgs | Nix Packages collection |
| pil | PIL | PIL |
| psat | PSAT | PHP analysis tools |
| patchelf | PatchELF | A tool for modifying ELF binaries |
| strategoxt | StrategoXT | StrategoXT |
| strategoxt-java | StrategoXT Java | StrategoXT Java packages |
| strategoxt-docs | StrategoXT documentation | StrategoXT documentation |
| uuagc | UU Attribute Grammar | Universiteit Utrecht Attribute Grammar Compiler |
| uulib | UU Haskell Lib | Universiteit Utrecht Parser combinator library and pretty printer |
| webdsl | WebDSL | A domain-specific language for developing dynamic web applications with a rich data model |
Channels
This server provides the following global Nix channels: