Skip to content

Instantly share code, notes, and snippets.

View hvr's full-sized avatar
🕶️
functional lazy

Herbert Valerio Riedel hvr

🕶️
functional lazy
  • Vienna, Austria, Europe, Earth, Solar System, Milky Way, ...
  • X @hvrgnu
View GitHub Profile
@mgedmin
mgedmin / ppa-gtimelog-copy-packages.py
Created November 28, 2013 09:16
Automate PPA package copies, version 2.
#!/usr/bin/python
"""Copy published precise PPA packages to quantal raring saucy.
Typical usage:
- build a gtimelog package for precise
- dput ppa:gtimelog-dev gtimelog_0.8.1-0ppa0_source.changes
- wait for it to be built
- run ppa-gtimelog-copy-packages
@sigrlami
sigrlami / ab.md
Last active October 2, 2024 18:14
List of companies using Haskell https://haskellcosm.com

WARNING This list outdated, for the up to date version visit https://haskellcosm.com

List of companies that use Haskell in Production

Types of work:

  • RD - research&development
  • PR - product
  • IP - in-house product
  • CO - consulting
#!/usr/bin/env runghc
import Data.Char
import Data.List
import Control.Monad
import Control.Applicative
import Data.Monoid
import Data.Version
import Text.ParserCombinators.ReadP (readP_to_S)
@bergmark
bergmark / gist:76cafefb300546e9b90e
Last active November 9, 2015 17:04 — forked from dcoutts/gist:9a909e908f5294c08118
Draft Hackage trustee policy and procedures

Draft Hackage trustee policy and procedures

The Hackage trustees are a group of volunteers who are interested in the health of the package collection as a whole. This is different to the role of maintainers of individual packages.

The trustees role is in many ways similar to that of the individuals who maintain the Haskell packages for the various Linux distributions. In Linux distributions the distribution maintainers seek to have their

@phadej
phadej / DepProb.hs
Last active May 12, 2018 21:16
This file is my attempt to clarify and formalise my own thoughts about dependency resolution problem.
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE UndecidableInstances #-}
-- | This file is my attempt to clarify and formalise my own thoughts about
-- dependency resolution problem.