2013-04-30 07:59:08 by Rob Vermaas

The weekend of Friday April 26th to Monday April 29th, no builds will be running due to some issues with the airconditioning. We expect to resume builds on Wednesday.

2012-05-30 20:41:16 by Eelco Dolstra

If you are experiencing problems, please report them here.

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
coccinelle Coccinelle Coccinelle is a program matching and transformation engine that provides support for semantic patches
combe combe Behaviour Trees editor
disnix Disnix Disnix, a distributed deployment extension for Nix
gnu GNU GNU's Not Unix
hydra Hydra Hydra, the Nix-based continuous build system
libchop libchop libchop, tools & library for data backup and distributed storage
mobl Mobl Mobl
nix Nix Nix, the purely functional package manager
nixops NixOps NixOS-based network/cloud deployment tool
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
spoofax Spoofax Spoofax related projects
strategoxt StrategoXT StrategoXT
strategoxt-docs StrategoXT documentation StrategoXT documentation
strategoxt-java StrategoXT Java StrategoXT Java packages
tribler Tribler A peer-to-peer client
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