@hackage regex-tdfa dependents

94 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@hackage/PropaFP
Auto-active verification of floating-point programs
MPL-2.0v0.1.2.0
@hackage/ShellCheck
Shell script analysis tool
GPL-3.0-onlyv0.10.0
@hackage/Unixutils
A crude interface between Haskell and Unix-like operating systems
BSD-3-Clausev1.54.3
@hackage/aern2-mp
Multi-precision ball (interval) arithmetic
BSD-3-Clausev0.2.16.1
@hackage/api-tools
DSL for generating API boilerplate and docs
BSD-3-Clausev0.10.1.1
@hackage/aws-sns-verify
Parse and verify AWS SNS messages
MITv0.0.0.3
@hackage/biscuit-haskell
Library support for the Biscuit security token
BSD-3-Clausev0.4.0.0
@hackage/bureaucromancy
Parse webforms & render to interactive hypertext
GPL-3.0-onlyv0.1.0.2
@hackage/cabal-debian
Create a Debianization for a Cabal package
BSD-3-Clausev5.2.5
@hackage/cabal-hoogle
generate hoogle database for cabal project and dependencies
BSD-3-Clausev3.10.0.0
@cardano/cardano-cli
The Cardano command-line interface
Apache-2.0v10.8.0.0
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.5
@hackage/dbus-app-launcher
Simple app launcher for D-Bus
MITv0.1.1.0
@hackage/debian
Modules for working with the Debian package system
BSD-3-Clausev4.0.5
@hackage/dojang
A cross-platform dotfiles manager
GPL-3.0-or-laterv0.1.0
@hackage/erebos-tester
Test framework with virtual network using Linux namespaces
GPL-3.0-onlyv0.3.1
@hackage/explainable-predicates
Predicates that can explain themselves.
BSD-3-Clausev0.1.2.4
@hackage/fakedata
Library for producing fake data
BSD-3-Clausev1.0.5
@hackage/futhark
An optimising compiler for a functional, array-oriented language.
ISCv0.25.30
@hackage/ghc-dump-util
Handy tools for working with ghc-dump dumps
BSD-3-Clausev0.2.1.0
@hackage/ghcide
The core of an IDE
Apache-2.0v2.10.0.0
@hackage/ghcitui
A Terminal User Interface (TUI) for GHCi
BSD-3-Clausev0.4.1.0
@hackage/ghcprofview
GHC .prof files viewer
BSD-3-Clausev0.1.0.2
@hackage/ginger
An implementation of the Jinja2 template language in Haskell
MITv0.10.6.0
@hackage/git-annex
manage files with git, without checking their contents into git
AGPL-3.0-onlyv10.20250320
@hackage/glirc
Console IRC client
ISCv2.41
@hackage/hackager
Hackage testing tool
BSD-3-Clausev1.3.0.1
@hackage/hakyll
A static website compiler library
BSD-3-Clausev4.16.6.0
@hackage/haskell-gi
Generate Haskell bindings for GObject Introspection capable libraries
LGPL-2.1-onlyv0.26.15