@hackage / finite-typelits

A type inhabited by finitely many values, indexed by type-level naturals

0.2.1.0

Dependents

@hackage / acts Semigroup actions and torsors.
- Version: 0.3.1.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / advent-of-code-api Advent of Code REST API bindings and servant API
- Version: 0.2.11.0
- Last uploaded: 6 months ago
- License: BSD-3-Clause
@hackage / backprop Heterogeneous automatic differentation
- Version: 0.2.7.2
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / bins Aggregate continuous values into discrete bins
- Version: 0.1.2.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / blucontrol Configurable blue light filter
- Version: 0.7.1.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / bludigon Configurable blue light filter
- Version: 0.1.1.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / comonad-coactions Coactions of comonads on functors
- Version: 0.1.0.1
- Last uploaded: 2 months ago
- License: LGPL-2.0-or-later
@hackage / connections Orders, Galois connections, and lattices.
- Version: 0.3.2
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / emd Empirical Mode Decomposition and Hilbert-Huang Transform
- Version: 0.2.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / finitary A better, more type-safe Enum.
- Version: 2.2.0.1
- Last uploaded: 2 months ago
- License: GPL-3.0-or-later
@hackage / finitary-derive Flexible and easy deriving of type classes for finitary types.
- Version: 3.0.0.1
- Last uploaded: 5 years ago
- License: GPL-3.0-or-later
@hackage / finitary-optics Prisms and Isos between finitary types.
- Version: 1.0.0.0
- Last uploaded: 5 years ago
- License: GPL-3.0-or-later
@hackage / goal-core Common, non-geometric tools for use with Goal
- Version: 0.20
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / grids
- Version: 0.5.0.1
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / hamilton Physics on generalized coordinate systems using Hamiltonian Mechanics and AD
- Version: 0.1.0.3
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / hasktorch Haskell bindings to libtorch, supporting both typed and untyped tensors.
- Version: 0.2.2.0
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / hasmtlib A monad for interfacing with external SMT solvers
- Version: 2.8.1
- Last uploaded: about 1 year ago
- License: GPL-3.0-only
@hackage / hmatrix-backprop hmatrix operations lifted for backprop
- Version: 0.1.3.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / inf-backprop Automatic differentiation and backpropagation.
- Version: 0.2.0.2
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / nom Name-binding & alpha-equivalence
- Version: 0.1.0.2
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / poly Polynomials
- Version: 0.5.1.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / posable A product-of-sums generics library
- Version: 1.0.0.1
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / roc-id Implementation of the ROC (Taiwan) Uniform ID Number format.
- Version: 0.4.0.0
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / symplectic-chp CHP Clifford simulator using symplectic geometry
- Version: 0.1.0.0
- Last uploaded: 2 months ago
- License: MIT
@hackage / taiwan-id Library and CLI for working with ID numbers issued in Taiwan.
- Version: 0.1.1.2
- Last uploaded: 3 weeks ago
- License: BSD-3-Clause
@hackage / tesla Tesla API client.
- Version: 0.7.5.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / vector-sized Size tagged vectors
- Version: 1.6.1
- Last uploaded: 2 years ago
- License: BSD-3-Clause