Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage MemoTrie dependents

14 results

@hackage/HyloDP
A package for solving dynamic programming problems in Haskell
BSD-3-Clausev1.0.0
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.1.0
@hackage/dynamic-plot
Interactive diagram windows
GPL-3.0-onlyv0.4.2.0
@hackage/fourmolu
A formatter for Haskell source code
BSD-3-Clausev0.15.0.0
@hackage/free-vector-spaces
Instantiate the classes from the vector-space package with types from linear
BSD-3-Clausev0.1.5.2
@hackage/kleene
Kleene algebra
BSD-3-Clausev0.1
@hackage/linearmap-category
Native, complete-ish, matrix-free linear algebra.
GPL-3.0-onlyv0.6.0.1
@hackage/manifolds
Coordinate-free hypersurfaces
GPL-3.0-onlyv0.6.1.0
@hackage/ormolu
A formatter for Haskell source code
BSD-3-Clausev0.7.4.0
@hackage/quickcheck-state-machine
Test monadic programs using state machine based models
BSD-3-Clausev0.9.0
@hackage/reflex
Higher-order Functional Reactive Programming
BSD-3-Clausev0.9.3.0
@hackage/toysolver
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
BSD-3-Clausev0.8.1
@hackage/tree-diff
Diffing of (expression) trees.
GPL-2.0-or-laterv0.3.0.1
@hackage/vector-space
Vector & affine spaces, linear maps, and derivatives
BSD-3-Clausev0.16