@hackage regex-tdfa dependents

110 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/HMock
A flexible mock framework for testing effectful code.
BSD-3-Clausev0.5.1.2
@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.15.1
@hackage/aeson-deriving
data types for compositional, type-directed serialization
MITv0.1.1.2
@hackage/anagrep
Find strings with permutations (anagrams) that match a regular expression
BSD-3-Clausev0.1.0.0
@hackage/api-tools
DSL for generating API boilerplate and docs
BSD-3-Clausev0.10.1.0
@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.3.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.3
@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.0v8.22.0.0
@hackage/cobot-tools
Biological data file formats and IO
BSD-3-Clausev0.1.2.3
@hackage/cursedcsv
Terminal tool for viewing tabular data
BSD-3-Clausev0.1.4
@hackage/cut-the-crap
Cuts out uninteresting parts of videos by detecting silences.
MITv2.3.1
@hackage/darcs
a distributed, interactive, smart revision control system
GPL-2.0-or-laterv2.18.2
@hackage/data-validation
A library for creating type safe validations.
Apache-2.0v0.1.2.5
@hackage/debian
Modules for working with the Debian package system
BSD-3-Clausev4.0.5
@hackage/discord-register
Discord verification bot
MPL-2.0v0.0.2
@hackage/dojang
A cross-platform dotfiles manager
GPL-3.0-or-laterv0.1.0
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
MITv4.1.3
@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.3
@hackage/fakedata-quickcheck
Fake a -> Gen a
MITv0.2.0
@hackage/futhark
An optimising compiler for a functional, array-oriented language.
ISCv0.25.15
@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.7.0.0