Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@haskell parallel dependents

276 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.8.0
@hackage/BiobaseInfernal
Infernal data structures and tools
GPL-3.0-onlyv0.8.1.0
@hackage/BitStringRandomMonad
BSD-3-Clausev1.1.0.2
@hackage/CSPM-cspm
cspm command line tool for analyzing CSPM specifications.
BSD-3-Clausev0.8.1.0
@hackage/CV
OpenCV based machine vision library
LicenseRef-GPLv0.3.7
@hackage/ConcurrentUtils
Concurrent utilities
GPL-2.0-onlyv0.5.0.0
@hackage/DCFL
Communication Free Learning-based constraint solver
MITv0.1.6.0
@hackage/DPutils
utilities for DP
BSD-3-Clausev0.1.1.0
@hackage/DRBG
Deterministic random bit generator (aka RNG, PRNG) based HMACs, Hashes, and Ciphers.
BSD-3-Clausev0.5.5
@hackage/Delta-Lambda
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
MITv0.3.0.0
@hackage/DifferentialEvolution
Global optimization using Differential Evolution
MITv0.0.2
@hackage/DnaProteinAlignment
Frameshift-aware alignment of protein sequences with DNA sequences
GPL-3.0-onlyv0.0.0.1
@hackage/Etage-Graph
Data-flow based graph algorithms
LGPL-3.0-onlyv0.1.8
@hackage/Fractaler
MITv3
@hackage/GTALib
A library for GTA programming
BSD-3-Clausev0.0.6
@hackage/GenI
A natural language generator (specifically, an FB-LTAG surface realiser)
LicenseRef-GPLv0.25.0.1
@hackage/GoogleCodeJam
A monad for flexible parsing of Google Code Jam input files with automatic parallelization.
MITv0.0.3
@hackage/HLearn-algebra
Algebraic foundation for homomorphic learning
BSD-3-Clausev1.1.0.1
@hackage/HNumeric
Haskell Numeric Library with pure functionality, R & MATLAB Syntax.
BSD-3-Clausev0.5.0.2
@hackage/HSoundFile
Audio file reading/writing
BSD-3-Clausev0.2.2
@hackage/HStringTemplate
StringTemplate implementation in Haskell.
BSD-3-Clausev0.8.8
@hackage/HarmTrace
Harmony Analysis and Retrieval of Music
GPL-3.0-onlyv2.2.1
@hackage/Hastructure
Cashflow modeling library for structured finance
BSD-3-Clausev0.50.4
@hackage/Hieroglyph
Purely functional 2D graphics for visualization.
BSD-3-Clausev3.89
@hackage/Holumbus-Distribution
intra- and inter-program communication
LicenseRef-OtherLicensev0.1.1
@hackage/Holumbus-MapReduce
a distributed MapReduce framework
LicenseRef-OtherLicensev0.1.1
@hackage/Holumbus-Searchengine
A search and indexing engine.
MITv1.2.3
@hackage/JYU-Utils
Some utility functions for JYU projects
MITv0.1.1.2
@hackage/Kulitta
Library for automated composition and musical learning
LicenseRef-OtherLicensev2.2.1
@hackage/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic
MPL-2.0v0.0.5.0

Next