@hackage boxes dependents

40 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/Wordlint
Plaintext prose redundancy linter.
LicenseRef-OtherLicensev0.2.0.4
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/b9
A tool and library for building virtual machine images.
MITv3.2.3
@hackage/batchd
Batch processing toolset for Linux / Unix
BSD-3-Clausev0.1.1.0
@hackage/board-games
Three games for inclusion in a web server
LicenseRef-GPLv0.4.0.1
@hackage/buchhaltung
Automates most of your plain text accounting data entry in ledger format.
MITv0.0.7
@hackage/criterion-cmp
A simple tool for comparing in Criterion benchmark results
BSD-3-Clausev0.1.0.0
@hackage/cuddle
CDDL Generator and test utilities
Apache-2.0v1.1.2.0
@hackage/data-svd
SVD (System view description) file handling
BSD-3-Clausev0.1.2.0
@hackage/disco
Functional programming language for teaching discrete math.
BSD-3-Clausev0.2
@hackage/exact-cover
Efficient exact cover solver.
BSD-3-Clausev0.1.0.0
@hackage/golds-gym
Golden testing framework for performance benchmarks
MITv0.7.0.0
@hackage/hadoop-tools
Fast command line tools for working with Hadoop.
Apache-2.0v1.0.1
@hackage/hax
Haskell cash-flow and tax simulation
MITv0.0.2
@hackage/hbayes
Bayesian Networks
BSD-3-Clausev0.5.2
@hackage/heidi
Tidy data in Haskell
MITv0.3.0
@hackage/hen
Haskell bindings to Xen hypervisor interface
MITv0.1.3
@hackage/hmm-lapack
Hidden Markov Models using LAPACK primitives
BSD-3-Clausev0.5.0.1
@hackage/jammittools
Export sheet music and audio from Windows/Mac app Jammit
GPL-3.0-onlyv0.5.5.2
@hackage/kuifje
A Quantitative Information Flow aware programming language.
BSD-3-Clausev0.1.2.0
@hackage/lapack
Numerical Linear Algebra using LAPACK
BSD-3-Clausev0.5.2
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/maxsharing
Maximal sharing of terms in the lambda calculus with letrec
BSD-3-Clausev1.1
@hackage/mezzo
Typesafe music composition
MITv0.3.1.0
@hackage/orgstat
Statistics visualizer for org-mode
GPL-3.0-onlyv0.1.10
@hackage/perf
Performance tools
BSD-3-Clausev0.14.2.1
@hackage/periodic-client-exe
Periodic task system haskell client executables
BSD-3-Clausev1.1.7.1
@hackage/pprecord
A library for pretty printing Records
MITv0.2.0.0
@hackage/pptable
Pretty Print containers in a tabular format
MITv0.3.0.0