@hackage pretty dependents

238 results

@hackage/ALUT
A binding for the OpenAL Utility Toolkit
BSD-3-Clausev2.4.0.3
@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/BNFC
A compiler front-end generator.
BSD-3-Clausev2.9.5
@haskell/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.12.0.0
@hackage/Cabal-syntax
A library for working with .cabal files
BSD-3-Clausev3.12.0.0
@hackage/Crypto
Common Cryptographic Algorithms in Pure Haskell
BSD-3-Clause AND GPL-2.0-or-laterv4.2.5.2
@hackage/Diff
Diff algorithm in pure Haskell
BSD-3-Clausev0.5
@hackage/ForSyDe
ForSyDe's Haskell-embedded Domain Specific Language.
BSD-3-Clausev3.1.1
@hackage/Frames
Data frames for working with tabular data files
BSD-3-Clausev0.7.4.2
@hackage/H
The Haskell/R mixed programming environment.
BSD-3-Clausev1.0.0
@hackage/HStringTemplate
StringTemplate implementation in Haskell.
BSD-3-Clausev0.8.8
@hackage/HTF
The Haskell Test Framework
LGPL-2.1-onlyv0.15.0.2
@hackage/HaRe
the Haskell Refactorer.
BSD-3-Clausev0.8.4.1
@hackage/HaXml
Utilities for manipulating XML documents
LGPL-2.1-onlyv1.25.13
@hackage/HaskellAnalysisProgram
Haskell source code analysis program
Apache-2.0v0.1.0
@hackage/HaskellNet
Client support for POP3, SMTP, and IMAP
BSD-3-Clausev0.6.1.2
@hackage/HsWebots
Webots bindings for Haskell
MITv0.1.1.3
@hackage/MagicHaskeller
Automatic inductive functional programmer by systematic search
BSD-3-Clausev0.9.7.1
@hackage/MicroHs
A compiler for Haskell
Apache-2.0v0.9.8.0
@hackage/MiniAgda
A toy dependently typed programming language with type-based termination.
MITv0.2022.3.11
@hackage/XSaiga
An implementation of a polynomial-time top-down parser suitable for NLP
BSD-3-Clausev1.7.0.0
@hackage/accelerate-llvm-ptx
Accelerate backend for NVIDIA GPUs
BSD-3-Clausev1.3.0.0
@hackage/aeson-match-qq
Declarative JSON matchers.
BSD-2-Clausev1.7.0
@hackage/agda2train
Agda backend to generate training data for machine learning purposes.
BSD-3-Clausev0.0.3.0
@hackage/algebra-checkers
Model and test API surfaces algebraically
BSD-3-Clausev0.1.0.1
@hackage/alphachar
A character between a-z
BSD-3-Clausev0.0.5
@hackage/asn1-codec
Encode and decode ASN.1
BSD-3-Clausev0.2.0
@hackage/atp-haskell
Translation from Ocaml to Haskell of John Harrison's ATP code
BSD-3-Clausev1.14.3
@hackage/b9
A tool and library for building virtual machine images.
MITv3.2.3
@hackage/beam-migrate
SQL DDL support and migrations support library for Beam
MITv0.5.2.1