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 |
charon | Charon | NixOS-based network/cloud deployment tool |
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 |
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 |