Block or report user
  • nix expressions for the official opam repository, using opam2nix

    Nix 8 2 Updated Feb 19, 2017
  • Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1 410 Updated Feb 19, 2017
  • A better make, inspired by djb's redo.

    Python 22 3 Updated Feb 13, 2017
  • nixpkgs

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix 1,898 Updated Feb 12, 2017
  • OCaml 5 Updated Feb 12, 2017
  • Fetch and automatically update nix derivation sources

    Python Updated Feb 11, 2017
  • lwt

    Forked from ocsigen/lwt

    A cooperative threads library for OCaml.

    OCaml 69 Updated Feb 8, 2017
  • Generate nix expressions from opam packages

    OCaml 18 1 Updated Feb 6, 2017
  • Mostly dotfiles and whatnot.

    Python 5 1 Updated Jan 31, 2017
  • SuperGenPass-compatible password utility

    OCaml 3 Updated Jan 29, 2017
  • tiling window manager extension for gnome-shell

    TypeScript 335 32 Updated Jan 29, 2017
  • virtual DOM + OCaml

    OCaml 3 Updated Jan 29, 2017
  • Python Updated Jan 18, 2017
  • Dirt simple notifications when periodic tasks fail to run

    OCaml Updated Jan 15, 2017
  • manage text snippets on the command line

    Haskell 1 Updated Jan 10, 2017
  • rate your music with whatever criteria you like

    Python 2 Updated Jan 9, 2017
  • A Material Design-like theme for GNOME/GTK+ based desktop environments.

    CSS 61 Updated Jan 8, 2017
  • manage your symlinks

    Python 3 1 Updated Jan 8, 2017
  • Python 1 Updated Jan 8, 2017
  • Switch workspaces by scrolling in the top panel

    JavaScript 17 10 Updated Jan 8, 2017
  • manage your important dconf overrides as text files

    Python Updated Jan 7, 2017
  • Python module for cross-platform clipboard functions.

    Python 42 Updated Jan 7, 2017
  • view (and modify) your project version in multiple commonly-used places

    Python 2 1 Updated Jan 4, 2017
  • Bringing the power of python to stream editing

    Python 33 3 Updated Jan 4, 2017
  • Pedantically set music filename, metadata and volume normalisation

    Python 2 Updated Dec 28, 2016
  • speed up gnome-shell animations

    JavaScript 14 3 Updated Sep 29, 2016
  • a dirt-simple terminal-colour library for python

    Python 11 4 Updated Aug 31, 2016
  • Porting various Rhythmbox plugins to work with the new plugin api.

    Python 30 Updated Aug 29, 2016
  • [abandoned] gedit plugins made or modified by me

    Python 1 1 Updated Jul 28, 2016
  • OCaml bindings for the virtual-dom library

    JavaScript 1 Updated Jul 19, 2016