623 lines
6.1 KiB
Plaintext
623 lines
6.1 KiB
Plaintext
|
accelerate-examples
|
||
|
|
acid-state
|
||
|
|
AC-MiniTest
|
||
|
|
activehs
|
||
|
|
adaptive-containers
|
||
|
|
adict
|
||
|
|
AERN-Net
|
||
|
|
aeson-schema
|
||
|
|
afv
|
||
|
|
Agata
|
||
|
|
Agda
|
||
|
|
air
|
||
|
|
ajhc
|
||
|
|
alex
|
||
|
|
alex-meta
|
||
|
|
alloy
|
||
|
|
alms
|
||
|
|
antfarm
|
||
|
|
archlinux
|
||
|
|
archlinux-web
|
||
|
|
arithmoi
|
||
|
|
atom
|
||
|
|
atomo
|
||
|
|
augur
|
||
|
|
autoproc
|
||
|
|
AvlTree
|
||
|
|
barchart
|
||
|
|
barley
|
||
|
|
base
|
||
|
|
BASIC
|
||
|
|
BerlekampAlgorithm
|
||
|
|
berp
|
||
|
|
bff
|
||
|
|
bidirectionalization-combined
|
||
|
|
billeksah-forms
|
||
|
|
billeksah-pane
|
||
|
|
billeksah-services
|
||
|
|
bimap
|
||
|
|
bindings-bfd
|
||
|
|
bio
|
||
|
|
Biobase
|
||
|
|
BiobaseTrainingData
|
||
|
|
BiobaseXNA
|
||
|
|
bitmap
|
||
|
|
bitmaps
|
||
|
|
bitset
|
||
|
|
Blobs
|
||
|
|
BNFC
|
||
|
|
BNFC-meta
|
||
|
|
boomerang
|
||
|
|
buildwrapper
|
||
|
|
c0parser
|
||
|
|
Cabal
|
||
|
|
cabal2doap
|
||
|
|
cabal2ghci
|
||
|
|
cabal2nix
|
||
|
|
cabal-debian
|
||
|
|
cabal-install
|
||
|
|
cabal-install-bundle
|
||
|
|
cabal-install-ghc72
|
||
|
|
cabal-install-ghc74
|
||
|
|
cabal-rpm
|
||
|
|
cabal-test
|
||
|
|
cairo
|
||
|
|
caldims
|
||
|
|
cap
|
||
|
|
cassy
|
||
|
|
cblrepo
|
||
|
|
cedict
|
||
|
|
cgen
|
||
|
|
cgi-utils
|
||
|
|
chalkboard
|
||
|
|
chalmers-lava2000
|
||
|
|
Chart
|
||
|
|
chp
|
||
|
|
chp-plus
|
||
|
|
chp-spec
|
||
|
|
ChristmasTree
|
||
|
|
chunks
|
||
|
|
circ
|
||
|
|
citeproc-hs
|
||
|
|
classify
|
||
|
|
classy-prelude
|
||
|
|
CMCompare
|
||
|
|
cmdargs
|
||
|
|
cmdlib
|
||
|
|
Coadjute
|
||
|
|
collada-output
|
||
|
|
combinatorial-problems
|
||
|
|
computational-algebra
|
||
|
|
constructive-algebra
|
||
|
|
containers
|
||
|
|
copilot-sbv
|
||
|
|
CPBrainfuck
|
||
|
|
CPL
|
||
|
|
cpsa
|
||
|
|
cqrs-example
|
||
|
|
Craft3e
|
||
|
|
creatur
|
||
|
|
crf-chain1
|
||
|
|
cryptocipher
|
||
|
|
csound-expression
|
||
|
|
curry-frontend
|
||
|
|
cyclotomic
|
||
|
|
DAG-Tournament
|
||
|
|
darcs
|
||
|
|
darcs-benchmark
|
||
|
|
darcs-beta
|
||
|
|
data-accessor-template
|
||
|
|
database-study
|
||
|
|
data-lens-template
|
||
|
|
data-ordlist
|
||
|
|
data-store
|
||
|
|
dclabel-eci11
|
||
|
|
ddc-core
|
||
|
|
ddc-core-llvm
|
||
|
|
debian
|
||
|
|
deepseq-th
|
||
|
|
DefendTheKing
|
||
|
|
delaunay
|
||
|
|
denominate
|
||
|
|
derive
|
||
|
|
derive-gadt
|
||
|
|
derive-trie
|
||
|
|
diagrams-builder
|
||
|
|
disjoint-set
|
||
|
|
DisTract
|
||
|
|
djinn
|
||
|
|
djinn-th
|
||
|
|
doc-review
|
||
|
|
doctest
|
||
|
|
dot2graphml
|
||
|
|
download-media-content
|
||
|
|
DPM
|
||
|
|
DrHylo
|
||
|
|
DrIFT-cabalized
|
||
|
|
DSH
|
||
|
|
dvda
|
||
|
|
dynamic-linker-template
|
||
|
|
Ebnf2ps
|
||
|
|
Elm
|
||
|
|
Emping
|
||
|
|
Encode
|
||
|
|
enumerable
|
||
|
|
enumerator
|
||
|
|
EnumMap
|
||
|
|
enummapset-th
|
||
|
|
Etage-Graph
|
||
|
|
extcore
|
||
|
|
factory
|
||
|
|
fault-tree
|
||
|
|
fay
|
||
|
|
fay-base
|
||
|
|
fec
|
||
|
|
feed
|
||
|
|
feldspar-compiler
|
||
|
|
FerryCore
|
||
|
|
fficxx
|
||
|
|
fgl
|
||
|
|
fibon
|
||
|
|
FileManip
|
||
|
|
filemanip
|
||
|
|
filestore
|
||
|
|
fixplate
|
||
|
|
flite
|
||
|
|
FM-SBLEX
|
||
|
|
foo
|
||
|
|
formal
|
||
|
|
forml
|
||
|
|
fquery
|
||
|
|
frag
|
||
|
|
freenect
|
||
|
|
free-theorems
|
||
|
|
free-theorems-counterexamples
|
||
|
|
free-theorems-seq
|
||
|
|
free-theorems-webui
|
||
|
|
fsmActions
|
||
|
|
fst
|
||
|
|
ftshell
|
||
|
|
Fungi
|
||
|
|
funsat
|
||
|
|
GA
|
||
|
|
game-probability
|
||
|
|
gbu
|
||
|
|
gconf
|
||
|
|
gdiff-th
|
||
|
|
GenI
|
||
|
|
geni-gui
|
||
|
|
genprog
|
||
|
|
gf
|
||
|
|
ghci-haskeline
|
||
|
|
ghci-ng
|
||
|
|
ghc-make
|
||
|
|
ghc-mod
|
||
|
|
GHood
|
||
|
|
ginsu
|
||
|
|
gio
|
||
|
|
git-annex
|
||
|
|
gitit
|
||
|
|
glade
|
||
|
|
glib
|
||
|
|
gmap
|
||
|
|
gnomevfs
|
||
|
|
gofer-prelude
|
||
|
|
GoogleSB
|
||
|
|
gpah
|
||
|
|
GPipe
|
||
|
|
Graphalyze
|
||
|
|
graph-rewriting
|
||
|
|
GraphSCC
|
||
|
|
graphviz
|
||
|
|
Grempa
|
||
|
|
grid
|
||
|
|
grm
|
||
|
|
groundhog-th
|
||
|
|
gruff-examples
|
||
|
|
gstreamer
|
||
|
|
gtk
|
||
|
|
gtk2hs-buildtools
|
||
|
|
gtkglext
|
||
|
|
gtkimageview
|
||
|
|
gtk-mac-integration
|
||
|
|
gtksourceview2
|
||
|
|
gt-tools
|
||
|
|
gulcii
|
||
|
|
hacanon-light
|
||
|
|
HackMail
|
||
|
|
hackport
|
||
|
|
haddock
|
||
|
|
haddock-leksah
|
||
|
|
HaLeX
|
||
|
|
halfs
|
||
|
|
hans
|
||
|
|
happindicator
|
||
|
|
HAppS-State
|
||
|
|
happstack-state
|
||
|
|
happy
|
||
|
|
happy-meta
|
||
|
|
HaRe
|
||
|
|
hark
|
||
|
|
hashable
|
||
|
|
hashed-storage
|
||
|
|
hashring
|
||
|
|
haskdogs
|
||
|
|
haskell2010
|
||
|
|
haskell98
|
||
|
|
haskelldb
|
||
|
|
HaskellForMaths
|
||
|
|
haskell-in-space
|
||
|
|
haskell-names
|
||
|
|
Haskelloids
|
||
|
|
haskell-src-meta
|
||
|
|
haskell-type-exts
|
||
|
|
haskell-updater
|
||
|
|
hasktags
|
||
|
|
hat
|
||
|
|
HaVSA
|
||
|
|
hawitter
|
||
|
|
HaXml
|
||
|
|
Hayoo
|
||
|
|
hbayes
|
||
|
|
hbro
|
||
|
|
hbro-contrib
|
||
|
|
hcube
|
||
|
|
hdf
|
||
|
|
heaps
|
||
|
|
hermit
|
||
|
|
hfusion
|
||
|
|
hgettext
|
||
|
|
hgom
|
||
|
|
HHDL
|
||
|
|
hierarchical-clustering
|
||
|
|
hiernotify
|
||
|
|
highlighting-kate
|
||
|
|
himerge
|
||
|
|
hinduce-missingh
|
||
|
|
hint
|
||
|
|
hipe
|
||
|
|
hjson-query
|
||
|
|
hlcm
|
||
|
|
hledger
|
||
|
|
hledger-lib
|
||
|
|
hledger-web
|
||
|
|
hlint
|
||
|
|
hly
|
||
|
|
hmatrix-glpk
|
||
|
|
hmt
|
||
|
|
Holumbus-Searchengine
|
||
|
|
homeomorphic
|
||
|
|
hoogle
|
||
|
|
hopfield
|
||
|
|
hpaste
|
||
|
|
HPath
|
||
|
|
hs2bf
|
||
|
|
Hs2lib
|
||
|
|
hsc3
|
||
|
|
hsc3-auditor
|
||
|
|
hsc3-graphs
|
||
|
|
HSFFIG
|
||
|
|
hsgsom
|
||
|
|
HSH
|
||
|
|
HsParrot
|
||
|
|
hsqml-morris
|
||
|
|
hssourceinfo
|
||
|
|
hstyle
|
||
|
|
hstzaar
|
||
|
|
HTab
|
||
|
|
hTensor
|
||
|
|
http-conduit
|
||
|
|
htzaar
|
||
|
|
hws
|
||
|
|
hx
|
||
|
|
HXQ
|
||
|
|
hxt
|
||
|
|
hxt-relaxng
|
||
|
|
hxt-xslt
|
||
|
|
hyahtzee
|
||
|
|
hylotab
|
||
|
|
ideas
|
||
|
|
ideas-math
|
||
|
|
idris
|
||
|
|
ige-mac-integration
|
||
|
|
igraph
|
||
|
|
imagepaste
|
||
|
|
imbib
|
||
|
|
implicit
|
||
|
|
improve
|
||
|
|
INblobs
|
||
|
|
incremental-parser
|
||
|
|
inflist
|
||
|
|
instant-generics
|
||
|
|
intset
|
||
|
|
iproute
|
||
|
|
iptables-helpers
|
||
|
|
ircbot
|
||
|
|
iterIO
|
||
|
|
java-reflect
|
||
|
|
jmacro
|
||
|
|
json2
|
||
|
|
json-b
|
||
|
|
JSONb
|
||
|
|
JYU-Utils
|
||
|
|
kansas-lava
|
||
|
|
katt
|
||
|
|
kevin
|
||
|
|
kibro
|
||
|
|
KiCS
|
||
|
|
KiCS-debugger
|
||
|
|
kit
|
||
|
|
kmeans-vector
|
||
|
|
kure
|
||
|
|
lambdabot
|
||
|
|
LambdaHack
|
||
|
|
language-boogie
|
||
|
|
language-c
|
||
|
|
language-ecmascript
|
||
|
|
language-haskell-extract
|
||
|
|
lazy-csv
|
||
|
|
ldif
|
||
|
|
leksah
|
||
|
|
leksah-server
|
||
|
|
lens
|
||
|
|
lenses
|
||
|
|
Level0
|
||
|
|
lhae
|
||
|
|
lhc
|
||
|
|
lhs2TeX-hl
|
||
|
|
libcspm
|
||
|
|
liboleg
|
||
|
|
LinearSplit
|
||
|
|
ListLike
|
||
|
|
listlike-instances
|
||
|
|
llsd
|
||
|
|
llvm-base
|
||
|
|
llvm-general
|
||
|
|
lostcities
|
||
|
|
LRU
|
||
|
|
L-seed
|
||
|
|
LslPlus
|
||
|
|
ltk
|
||
|
|
Lucu
|
||
|
|
MagicHaskeller
|
||
|
|
makedo
|
||
|
|
make-hard-links
|
||
|
|
manatee-core
|
||
|
|
markov
|
||
|
|
mathgenealogy
|
||
|
|
matsuri
|
||
|
|
MazesOfMonad
|
||
|
|
metamorphic
|
||
|
|
MetaObject
|
||
|
|
meta-par
|
||
|
|
MFlow
|
||
|
|
Mhailist
|
||
|
|
mines
|
||
|
|
minesweeper
|
||
|
|
MissingH
|
||
|
|
ml-w
|
||
|
|
module-management
|
||
|
|
monadiccp
|
||
|
|
Monadius
|
||
|
|
MonadLab
|
||
|
|
Monaris
|
||
|
|
monitor
|
||
|
|
mprover
|
||
|
|
mps
|
||
|
|
mucipher
|
||
|
|
multiset
|
||
|
|
multiset-comb
|
||
|
|
Munkres
|
||
|
|
murder
|
||
|
|
music-diatonic
|
||
|
|
music-score
|
||
|
|
narc
|
||
|
|
nemesis
|
||
|
|
netcore
|
||
|
|
nettle-frp
|
||
|
|
nettle-netkit
|
||
|
|
network-dns
|
||
|
|
newtype-th
|
||
|
|
n-m
|
||
|
|
noise
|
||
|
|
NoSlow
|
||
|
|
notmuch-haskell
|
||
|
|
nsis
|
||
|
|
numeric-prelude
|
||
|
|
NXT
|
||
|
|
obj
|
||
|
|
omega
|
||
|
|
openid
|
||
|
|
Operads
|
||
|
|
optimusprime
|
||
|
|
packed-dawg
|
||
|
|
packunused
|
||
|
|
PageIO
|
||
|
|
pango
|
||
|
|
paragon
|
||
|
|
parconc-examples
|
||
|
|
parsec1
|
||
|
|
parsec2
|
||
|
|
parsec3
|
||
|
|
parsec
|
||
|
|
parsec-permutation
|
||
|
|
parsers
|
||
|
|
parsimony
|
||
|
|
pec
|
||
|
|
pesca
|
||
|
|
pisigma
|
||
|
|
plugins
|
||
|
|
plugins-auto
|
||
|
|
pointfree
|
||
|
|
polyseq
|
||
|
|
poppler
|
||
|
|
prefix-units
|
||
|
|
prelude-generalize
|
||
|
|
prelude-plus
|
||
|
|
presburger
|
||
|
|
probability
|
||
|
|
prolog
|
||
|
|
prolog-graph-lib
|
||
|
|
PropLogic
|
||
|
|
Pugs
|
||
|
|
pugs-compat
|
||
|
|
pugs-DrIFT
|
||
|
|
pushme
|
||
|
|
QuickCheck
|
||
|
|
quickcheck-poly
|
||
|
|
quickcheck-script
|
||
|
|
quickspec
|
||
|
|
rabocsv2qif
|
||
|
|
ralist
|
||
|
|
Rasenschach
|
||
|
|
rdf4h
|
||
|
|
reaction-logic
|
||
|
|
reactive-banana
|
||
|
|
regexchar
|
||
|
|
regex-deriv
|
||
|
|
regex-dfa
|
||
|
|
regexdot
|
||
|
|
regex-parsec
|
||
|
|
regex-pderiv
|
||
|
|
regex-tdfa
|
||
|
|
remote
|
||
|
|
RepLib
|
||
|
|
RESTng
|
||
|
|
rezoom
|
||
|
|
riot
|
||
|
|
roguestar-engine
|
||
|
|
rpc-framework
|
||
|
|
rsagl-frp
|
||
|
|
ruler-core
|
||
|
|
safecopy
|
||
|
|
sat-micro-hs
|
||
|
|
SBench
|
||
|
|
sbv
|
||
|
|
scc
|
||
|
|
scenegraph
|
||
|
|
scion
|
||
|
|
scion-browser
|
||
|
|
scope
|
||
|
|
scyther-proof
|
||
|
|
Semantique
|
||
|
|
SG
|
||
|
|
sgf
|
||
|
|
shake
|
||
|
|
shake-extras
|
||
|
|
shaker
|
||
|
|
shell-escape
|
||
|
|
shelltestrunner
|
||
|
|
shuffle
|
||
|
|
Shu-thing
|
||
|
|
sifflet-lib
|
||
|
|
simgi
|
||
|
|
simple-css
|
||
|
|
SimpleEA
|
||
|
|
sirkel
|
||
|
|
snap-loader-dynamic
|
||
|
|
snap-predicates
|
||
|
|
snm
|
||
|
|
Snusmumrik
|
||
|
|
SoccerFun
|
||
|
|
SourceGraph
|
||
|
|
sourcemap
|
||
|
|
specialize-th
|
||
|
|
sphinx
|
||
|
|
squeeze
|
||
|
|
standalone-haddock
|
||
|
|
statechart
|
||
|
|
static-resources
|
||
|
|
Strafunski-Sdf2Haskell
|
||
|
|
stream-fusion
|
||
|
|
structural-induction
|
||
|
|
stylish-haskell
|
||
|
|
supero
|
||
|
|
svgcairo
|
||
|
|
svgutils
|
||
|
|
svm-simple
|
||
|
|
swish
|
||
|
|
syb
|
||
|
|
syb-with-class
|
||
|
|
sym
|
||
|
|
SyntaxMacros
|
||
|
|
tableaux
|
||
|
|
tagging
|
||
|
|
tamarin-prover-theory
|
||
|
|
TCache
|
||
|
|
teams
|
||
|
|
template-default
|
||
|
|
tempus
|
||
|
|
term-rewriting
|
||
|
|
TernaryTrees
|
||
|
|
test-framework-th-prime
|
||
|
|
testloop
|
||
|
|
textmatetags
|
||
|
|
theoremquest
|
||
|
|
thih
|
||
|
|
th-instances
|
||
|
|
TigerHash
|
||
|
|
timberc
|
||
|
|
time-recurrence
|
||
|
|
timestamp-subprocess-lines
|
||
|
|
todos
|
||
|
|
toolshed
|
||
|
|
Top
|
||
|
|
topkata
|
||
|
|
toysolver
|
||
|
|
tpdb
|
||
|
|
translatable-intset
|
||
|
|
traverse-with-class
|
||
|
|
triangulation
|
||
|
|
TrieMap
|
||
|
|
trifecta
|
||
|
|
turni
|
||
|
|
TypeIlluminator
|
||
|
|
type-sub-th
|
||
|
|
uhc-util
|
||
|
|
UMM
|
||
|
|
unbound
|
||
|
|
unboxed-containers
|
||
|
|
universe-th
|
||
|
|
unscramble
|
||
|
|
urlcheck
|
||
|
|
utility-ht
|
||
|
|
uuagc
|
||
|
|
uuagc-bootstrap
|
||
|
|
uuagc-cabal
|
||
|
|
uuid
|
||
|
|
uvector
|
||
|
|
vacuum-ubigraph
|
||
|
|
vector-clock
|
||
|
|
visual-graphrewrite
|
||
|
|
vte
|
||
|
|
wai-handler-devel
|
||
|
|
webkit
|
||
|
|
wikipedia4epub
|
||
|
|
Wired
|
||
|
|
WordNet
|
||
|
|
WordNet-ghc74
|
||
|
|
wxc
|
||
|
|
wxcore
|
||
|
|
Xec
|
||
|
|
xfconf
|
||
|
|
xhaskell-library
|
||
|
|
xml2x
|
||
|
|
xmlhtml
|
||
|
|
xmonad
|
||
|
|
xmonad-bluetilebranch
|
||
|
|
xmonad-contrib
|
||
|
|
xmonad-contrib-bluetilebranch
|
||
|
|
xmonad-extras
|
||
|
|
Yablog
|
||
|
|
ycextra
|
||
|
|
yesod-comments
|
||
|
|
yesod-core
|
||
|
|
yhccore
|
||
|
|
yi
|
||
|
|
yices-easy
|
||
|
|
yst
|
||
|
|
yuiGrid
|
||
|
|
yuuko
|
||
|
|
zeroth
|
||
|
|
zip-archive
|