Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage lattices dependents

15 results

@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.2.0.0
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/compaREST
Compatibility checker for OpenAPI
MITv0.1.0.1
@hackage/data-interval
Interval datatype, interval arithmetic and interval-based containers
BSD-3-Clausev2.1.2
@hackage/deltaq
Framework for ∆Q System Development
BSD-3-Clausev1.0.0.0
@hackage/ghc-tags-core
CTags and ETags from Haskell syntax tree.
MPL-2.0v0.6.1.1
@hackage/haskell-ci
Cabal package script generator for Travis-CI
GPL-3.0-or-laterv0.18.1
@hackage/hypertypes
Typed ASTs
BSD-3-Clausev0.2.2
@hackage/interval-patterns
Intervals, and monoids thereof
BSD-3-Clausev0.8.0
@hackage/kleene
Kleene algebra
BSD-3-Clausev0.1
@hackage/sasha
A staged lexer generator
BSD-3-Clausev0.2
@hackage/sign
Arithmetic over signs and sets of signs
BSD-3-Clausev0.4.4
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.9.0
@hackage/waterfall-cad
Declarative CAD/Solid Modeling Library
LGPL-2.1-onlyv0.5.0.0
@hackage/word8set
Word8 set
BSD-3-Clausev0.1.2