by Eelco Dolstra

If you are experiencing problems, please report them here.

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
cabal2nix cabal2nix Convert Cabal files into Nix build instructions
coccinelle Coccinelle Coccinelle is a program matching and transformation engine that provides support for semantic patches
composer2nix composer2nix Deploy PHP composer packages with the Nix package manager
crawljax Crawljax Crawljax
disnix Disnix Disnix, a Nix-based distributed service deployment tool
dwarffs DwarfFS
flakes Flakes
gnu GNU GNU's Not Unix
groove Groove Groove
hydra Hydra Hydra, the Nix-based continuous build system
kde KDE KDE
libchop libchop libchop, tools & library for data backup and distributed storage
linux-on-mac-builder Linux on Mac builder An easy to use Linux builder for macOS
ltsmin LTSmin LTSmin
meta-environment Meta Environment Meta Environment
mobl Mobl Mobl
mturk MTurk Amazon Mechanical Turk tests
nix Nix Nix, the purely functional package manager
nix-androidenvtests Nix android tests Tests for the Android build environment in Nixpkgs
nixops NixOps NixOS-based network/cloud deployment tool
nixos NixOS NixOS, the purely functional Linux distribution
nix-pills nix-pills The missing explanations from the more formal documents.
nixpkgs Nixpkgs Nix Packages collection
node2nix node2nix Deploy NPM packages with the Nix package manager
node-hydra-connector Node Hydra connector Node module and CLI providing Hydra integration
ofborg ofborg grahamcofborg automation
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