@hackage singletons dependents

@hackage/ADPfusion

Efficient, high-level dynamic programming.

@hackage/axel

The Axel programming language.

@hackage/bytepatch

Patch byte-representable data in a bytestream

@hackage/camfort

CamFort - Cambridge Fortran infrastructure

@hackage/clang-pure

Pure C++ code analysis with libclang

@hackage/clash-prelude

Clash: a functional hardware description language - Prelude library

@hackage/cleveland

Testing framework for Morley.

@hackage/decidable

Combinators for manipulating dependently-typed predicates.

@hackage/eliminators

Dependently typed elimination functions using singletons

@hackage/equational-reasoning

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/equational-reasoning-induction

Proof assistant for Haskell using DataKinds & PolyKinds

@hackage/exinst

Dependent pairs and their instances.

@hackage/exinst-aeson

@exinst@ support for @aeson@ package.

@hackage/exinst-base

@exinst@ support for @base@ package.

@hackage/exinst-bytes

@exinst@ support for @bytes@ package.

@hackage/exinst-cereal

@exinst@ support for @cereal@ package.

@hackage/exinst-serialise

Dependent pairs and their instances.

@hackage/expressions

Expressions and Formulae a la carte

@hackage/expressions-z3

Encode and Decode expressions from Z3 ASTs

@hackage/finite-field

Finite Fields

@hackage/fortran-src

Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial).

@hackage/functor-products

General functor products for various Foldable instances

@hackage/grids

@hackage/haskell-igraph

Bindings to the igraph C library (v0.8.0).

@hackage/hasktorch

Torch for tensors and neural networks in Haskell

@hackage/hasktorch-indef

Core Hasktorch abstractions wrapping FFI bindings

@hackage/hasktorch-zoo

Neural architectures in hasktorch

@hackage/hgeometry

Geometric Algorithms, Data structures, and Data types.

@hackage/hgeometry-combinatorial

Data structures, and Data types.

@hackage/hgeometry-ipe

Reading and Writing ipe7 files.