Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage lattices dependents

24 results

@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.1.1.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/datafix
Fixing data-flow problems
ISCv0.0.1.0
@hackage/expressions
Expressions and Formulae a la carte
BSD-3-Clausev0.5
@hackage/fplll
Haskell bindings to <https://fplll.github.io/fplll/ fplll>
LGPL-2.1-or-laterv0.1.0.0
@hackage/ghc-tags-core
CTags and ETags from Haskell syntax tree.
MPL-2.0v0.6.1.0
@hackage/ghc-tags-plugin
A compiler plugin which generates tags file from GHC parsed syntax tree.
MPL-2.0v0.6.1.0
@hackage/haskell-ci
Cabal package script generator for Travis-CI
GPL-3.0-or-laterv0.18.1
@hackage/heyting-algebras
Heyting and Boolean algebras
BSD-3-Clausev0.2.0.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/numhask-space
Numerical spaces.
BSD-3-Clausev0.11.1.0
@hackage/pomaps
Maps and sets of partial orders
MITv0.2.0.1
@hackage/sasha
A staged lexer generator
BSD-3-Clausev0.2
@hackage/semibounded-lattices
A Haskell implementation of semibounded lattices
BSD-3-Clausev0.1.1.0
@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.8.1
@hackage/verbosity
Simple enum that encodes application verbosity.
BSD-3-Clausev0.4.0.0
@hackage/waterfall-cad
Declarative CAD/Solid Modeling Library
LGPL-2.1-onlyv0.2.2.0
@hackage/word8set
Word8 set
BSD-3-Clausev0.1.1
@hackage/yx
Row-major coordinates
BSD-3-Clausev0.0.4.3