@hackage half-space dependencies

5 results

library:half-space (5 dependencies)

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.10 && <4.15

@hackage/call-stack

Use GHC call-stacks in a backward compatible way

MIT>=0.4 && <0.5

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

BSD-3-Clause>=0.7 && <0.8

@hackage/manifolds-core

The basic classes for the manifolds hierarchy.

GPL-3.0-only>=0.6 && <0.7

@hackage/vector-space

Vector & affine spaces, linear maps, and derivatives

BSD-3-Clause>=0.16 && <0.17