Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage MemoTrie dependents

30 results

@hackage/FieldTrip
Functional 3D
BSD-3-Clausev0.2.7
@hackage/HyloDP
A package for solving dynamic programming problems in Haskell
BSD-3-Clausev1.0.0
@hackage/acme-everything
Install everything.
LicenseRef-PublicDomainv2018.11.18
@hackage/acme-memorandom
Memoized random number generation
MITv0.0.3
@hackage/clifford
A Clifford algebra library
BSD-3-Clausev0.1.0.14
@hackage/comonad-extras
Exotic comonad transformers
BSD-3-Clausev4.0.1
@hackage/comonad-transformers
This package has been merged into comonad 4.0
BSD-3-Clausev4.0
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.2.0
@hackage/diagrams-core
Core libraries for diagrams EDSL
BSD-3-Clausev1.5.1.1
@hackage/diagrams-lib
Embedded domain-specific language for declarative graphics
BSD-3-Clausev1.4.7
@hackage/dtw
(Fast) Dynamic Time Warping
MITv1.0.3.0
@hackage/dynamic-plot
Interactive diagram windows
GPL-3.0-onlyv0.4.2.0
@hackage/enumerate
enumerate all the values in a finite type (automatically)
MITv0.2.2
@hackage/enumerate-function
simple package for inverting functions and testing totality, via brute enumeration of the domain
BSD-3-Clausev0.0.1
@hackage/fourmolu
A formatter for Haskell source code
BSD-3-Clausev0.16.2.0
@hackage/free-vector-spaces
Instantiate the classes from the vector-space package with types from linear
BSD-3-Clausev0.1.5.2
@hackage/hslinks
Resolves links to Haskell identifiers.
BSD-3-Clausev0.6.1
@hackage/kleene
Kleene algebra
BSD-3-Clausev0.1
@hackage/levmar
An implementation of the Levenberg-Marquardt algorithm
BSD-3-Clausev1.2.1.8
@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/ombra
Render engine.
BSD-3-Clausev1.1.0.0
@hackage/ormolu
A formatter for Haskell source code
BSD-3-Clausev0.7.7.0
@hackage/quickcheck-state-machine
Test monadic programs using state machine based models
BSD-3-Clausev0.10.1
@hackage/reflex
Higher-order Functional Reactive Programming
BSD-3-Clausev0.9.3.1
@hackage/shady-gen
Functional GPU programming - DSEL & compiler
LicenseRef-OtherLicensev0.5.1
@hackage/shady-graphics
Functional GPU programming - DSEL & compiler
LicenseRef-OtherLicensev0.5.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.2
@hackage/vector-space
Vector & affine spaces, linear maps, and derivatives
BSD-3-Clausev0.19