Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage intern dependents

18 results

@hackage/BiobaseTypes
Collection of types for bioinformatics
BSD-3-Clausev0.2.1.0
@hackage/LinguisticsTypes
Collection of types for natural language
BSD-3-Clausev0.0.0.3
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.1.2.0
@hackage/MIP-glpk
A GLPK backend to the MIP library.
GPL-3.0-onlyv0.1.1.0
@hackage/NaturalLanguageAlphabets
Simple scoring schemes for word alignments
BSD-3-Clausev0.2.1.0
@hackage/WordAlignment
Bigram word pair alignments.
GPL-3.0-onlyv0.2.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/decision-diagrams
Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)
BSD-3-Clausev0.2.0.0
@hackage/ecta
BSD-3-Clausev1.0.0.3
@hackage/grisette
Symbolic evaluation as a library
BSD-3-Clausev0.10.0.0
@hackage/language-ninja
A library for dealing with the Ninja build language.
Apache-2.0v0.2.0
@hackage/libffi-dynamic
LibFFI interface with dynamic bidirectional type-driven binding generation
LicenseRef-PublicDomainv0.0.0.2
@hackage/liquid-fixpoint
Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
BSD-3-Clausev8.10.7
@hackage/liquidhaskell
Liquid Types for Haskell
BSD-3-Clausev0.9.10.1
@hackage/ohhecs
An Entity-Component-Systems engine core.
AGPL-3.0-or-laterv0.0.2
@hackage/swish
A semantic web toolkit.
LGPL-2.1-or-laterv0.10.9.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.8.1
@hackage/trifecta
A modern parser combinator library with convenient diagnostics
BSD-3-Clausev2.1.4