@hackage gitrev dependents

45 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/HaRe
the Haskell Refactorer.
BSD-3-Clausev0.8.4.1
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/erd
An entity-relationship diagram generator from a plain text description.
LicenseRef-PublicDomainv0.2.1.0
@hackage/fourmolu
A formatter for Haskell source code
BSD-3-Clausev0.15.0.0
@hackage/futhark
An optimising compiler for a functional, array-oriented language.
ISCv0.25.15
@hackage/ghc-tags-plugin
A compiler plugin which generates tags file from GHC parsed syntax tree.
MPL-2.0v0.6.1.0
@hackage/ghcide
The core of an IDE
Apache-2.0v2.7.0.0
@hackage/git-cuk
Haskell Git Helper Tool
MPL-2.0v0.0.1
@hackage/glirc
Console IRC client
ISCv2.40.1
@hackage/hadolint
Dockerfile Linter JavaScript API
GPL-3.0-onlyv2.12.0
@hackage/hamtsolo
Intel AMT serial-over-lan (SOL) client
BSD-3-Clausev1.0.4
@hackage/hapistrano
A deployment library for Haskell applications
MITv0.4.8.0
@hackage/haskell-language-server
LSP server for GHC
Apache-2.0v2.7.0.0
@hackage/hasmin
CSS Minifier
BSD-3-Clausev1.0.3
@hackage/hdiff
Pattern-Expression-based differencing of arbitrary types.
MITv0.0.1
@hackage/hit-on
Haskell Git Helper Tool
MPL-2.0v0.1.0.0
@hackage/hledger-flow
An hledger workflow focusing on automated statement import and classification.
GPL-3.0-onlyv0.14.4
@hackage/hnix
Haskell implementation of the Nix language
BSD-3-Clausev0.17.0
@cardano/hydra-prelude
Custom Hydra Prelude used across other Hydra packages.
Apache-2.0v0.14.0
@hackage/juicy-gcode
SVG to G-Code converter
BSD-3-Clausev1.0.0.0
@hackage/liquidhaskell
Liquid Types for Haskell
BSD-3-Clausev0.9.8.1
@hackage/liquidhaskell-boot
Liquid Types for Haskell
BSD-3-Clausev0.9.8.1
@hackage/matterhorn
Terminal client for the Mattermost chat system
BSD-3-Clausev90000.0.0
@hackage/mattermost-api
Client API for Mattermost chat system
BSD-3-Clausev90000.0.0
@hackage/mios
A Minisat-based CDCL SAT solver in Haskell
GPL-3.0-onlyv1.6.2
@hackage/mmark-cli
Command line interface to the MMark markdown processor
BSD-3-Clausev0.0.5.2
@hackage/morley
Developer tools for the Michelson Language
MITv1.20.0
@hackage/neuron
Future-proof system for plain-text notes.
AGPL-3.0-onlyv1.0.0.0
@hackage/optparse-simple
Simple interface to optparse-applicative
BSD-3-Clausev0.1.1.4