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
disnix Disnix Disnix, a distributed deployment extension for Nix
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
patchelf PatchELF A tool for modifying ELF binaries
pil PIL PIL
psat PSAT PHP analysis tools
strategoxt StrategoXT StrategoXT
strategoxt-docs StrategoXT documentation StrategoXT documentation
strategoxt-java StrategoXT Java StrategoXT Java packages
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