@hackage pretty dependents

595 results

@hackage/ALUT
A binding for the OpenAL Utility Toolkit
BSD-3-Clausev2.4.0.3
@hackage/ASN1
ASN.1 support for Haskell
BSD-3-Clausev0.0.1.1
@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/AlgorithmW
Example implementation of Algorithm W for Hindley-Milner type inference.
BSD-3-Clausev0.1.1.0
@hackage/AndroidViewHierarchyImporter
Android view hierarchy importer
BSD-3-Clausev0.1.0.1
@hackage/Aurochs
Yet another parser generator for C/C++
BSD-3-Clausev0.1
@hackage/BNFC
A compiler front-end generator.
BSD-3-Clausev2.9.6.1
@hackage/BiGUL
The Bidirectional Generic Update Language
LicenseRef-PublicDomainv1.0.1
@hackage/Blobs
Diagram editor
LicenseRef-LGPLv0.3
@hackage/CSPM-Frontend
A CSP-M parser compatible with FDR-2.91
BSD-3-Clausev0.12.1.0
@hackage/CSPM-ToProlog
some modules specific for the ProB tool
BSD-3-Clausev0.5.5.0
@hackage/CSPM-cspm
cspm command line tool for analyzing CSPM specifications.
BSD-3-Clausev0.8.1.0
@hackage/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.16.0.0
@hackage/Cabal-ide-backend
A framework for packaging Haskell software
BSD-3-Clausev1.23.0.0
@hackage/Cabal-syntax
A library for working with .cabal files
BSD-3-Clausev3.16.0.0
@hackage/Coadjute
A generic build tool
BSD-3-Clausev0.1.1
@hackage/Combinatorrent
A concurrent bittorrent client
BSD-3-Clausev0.3.2
@hackage/CoreDump
A GHC plugin for printing GHC's internal Core data structures.
BSD-3-Clausev0.1.2.0
@hackage/CoreErlang
Manipulating Core Erlang source code
BSD-3-Clausev0.0.4
@hackage/Crypto
Common Cryptographic Algorithms in Pure Haskell
BSD-3-Clause AND GPL-2.0-or-laterv4.2.5.2
@hackage/DPM
Darcs Patch Manager
LicenseRef-GPLv0.3.0.0
@hackage/DSH
Database Supported Haskell
BSD-3-Clausev0.12.0.1
@hackage/Diff
Diff algorithm in pure Haskell
BSD-3-Clausev1.0.2
@hackage/DisTract
Distributed Bug Tracking System
BSD-3-Clausev0.2.5
@hackage/DrHylo
A tool for deriving hylomorphisms
BSD-3-Clausev0.0.2
@hackage/EditTimeReport
Query language and report generator for edit logs.
LicenseRef-GPLv1.0
@hackage/Elm
The Elm language module.
BSD-3-Clausev0.13
@hackage/Extra
A grab bag of modules.
BSD-3-Clausev1.46.3
@hackage/FerryCore
Ferry Core Components
BSD-3-Clausev0.4.6.4
@hackage/ForSyDe
ForSyDe's Haskell-embedded Domain Specific Language.
BSD-3-Clausev3.1.1