@hackage boxes dependents

21 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@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
@hackage/criterion-cmp
A simple tool for comparing in Criterion benchmark results
BSD-3-Clausev0.1.0.0
@hackage/data-svd
SVD (System view description) file handling
BSD-3-Clausev0.1.2.0
@hackage/heidi
Tidy data in Haskell
MITv0.3.0
@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.1.1
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/orgstat
Statistics visualizer for org-mode
GPL-3.0-onlyv0.1.10
@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/purescript
PureScript Programming Language Compiler
BSD-3-Clausev0.15.15
@hackage/registry-options
application options parsing
MITv0.2.0.0
@hackage/rp-tree
Random projection trees
BSD-3-Clausev0.7.1
@hackage/tree-render-text
Configurable text rendering of trees.
BSD-3-Clausev0.4.0.0
@hackage/vp-tree
Vantage Point Trees
BSD-3-Clausev0.1.0.1
@hackage/zephyr
Zephyr, tree-shaking for the PureScript language
MPL-2.0v0.5.3