Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@haskell parallel dependents

110 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/ConcurrentUtils
Concurrent utilities
GPL-2.0-onlyv0.5.0.0
@hackage/DPutils
utilities for DP
BSD-3-Clausev0.1.1.0
@hackage/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic
MPL-2.0v0.0.5.0
@hackage/Persistence
A versatile library for topological data analysis.
BSD-3-Clausev2.0.3
@hackage/Unixutils
A crude interface between Haskell and Unix-like operating systems
BSD-3-Clausev1.54.3
@hackage/WringTwistree
Whole-message cipher and tree hash
BSD-3-Clausev0.0.1.1
@hackage/b9
A tool and library for building virtual machine images.
MITv3.2.3
@hackage/beam-migrate
SQL DDL support and migrations support library for Beam
MITv0.5.2.1
@hackage/bioinformatics-toolkit
A collection of bioinformatics tools
MITv0.10.0
@hackage/bishbosh
Plays chess.
GPL-3.0-or-laterv0.1.4.0
@hackage/board-games
Three games for inclusion in a web server
LicenseRef-GPLv0.4
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/cattrap
Lays out boxes according to the CSS Box Model.
GPL-3.0-onlyv0.6.0.0
@hackage/cdar-mBound
Exact real arithmetic using Centred Dyadic Approximations
BSD-3-Clausev0.1.0.4
@hackage/chessIO
Basic chess library
BSD-3-Clausev0.9.3.1
@hackage/classify-frog
Classify sounds produced by Xenopus laevis
BSD-3-Clausev0.2.4.3
@hackage/classyplate
Fuseable type-class based generics
BSD-3-Clausev0.3.2.0
@hackage/clustering
High performance clustering algorithms
MITv0.4.1
@hackage/cobot
Computational biology toolkit to collaborate with researchers in constructive protein engineering
BSD-3-Clausev0.1.1.8
@hackage/concraft
Morphological disambiguation based on constrained CRFs
BSD-3-Clausev0.14.2
@hackage/cpsa
Symbolic cryptographic protocol analyzer
BSD-3-Clausev4.4.3
@hackage/crf-chain1
First-order, linear-chain conditional random fields
BSD-3-Clausev0.2.3
@hackage/crf-chain1-constrained
First-order, constrained, linear-chain conditional random fields
BSD-3-Clausev0.6.0
@hackage/crf-chain2-tiers
Second-order, tiered, constrained, linear conditional random fields
BSD-3-Clausev0.6.0
@hackage/data-pprint
Prettyprint and compare Data values
BSD-3-Clausev0.2.4.2
@hackage/datasets
Classical data sets for statistics and machine learning
MITv0.4.0
@hackage/egison
Programming language with non-linear pattern-matching against non-free data
MITv4.1.3
@hackage/elynx-markov
Simulate molecular sequences along trees
GPL-3.0-or-laterv0.7.2.2
@hackage/elynx-seq
Handle molecular sequences
GPL-3.0-or-laterv0.7.2.2

Next