Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage lattices dependents

32 results

@hackage/ContextAlgebra
Implementation of the context algebra.
BSD-3-Clausev1.0.0.0
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.1.2.0
@hackage/NearContextAlgebra
Context Algebra of near
BSD-3-Clausev0.1.0.2
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/camfort
CamFort - Cambridge Fortran infrastructure
Apache-2.0v1.2.0
@hackage/compaREST
Compatibility checker for OpenAPI
MITv0.1.0.1
@hackage/crdt
Conflict-free replicated data types
BSD-3-Clausev10.7
@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/edit-lenses
Symmetric, stateful edit lenses
BSD-3-Clausev0.2
@hackage/expressions
Expressions and Formulae a la carte
BSD-3-Clausev0.5
@hackage/formura
Formura is a simple language to describe stencil computation.
MITv1.0
@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.1
@hackage/ghc-tags-plugin
A compiler plugin which generates tags file from GHC parsed 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/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/lfst
L-Fuzzy Set Theory implementation in Haskell
GPL-3.0-onlyv1.0.2
@hackage/lvish
Parallel scheduler, LVar data structures, and infrastructure to build more.
BSD-3-Clausev1.1.4
@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.4.0.0

Next