@haskell process dependents

836 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.6.4.3
@hackage/Aoide
A simple music library with the capability of generating .ly and .mid files.
BSD-3-Clausev0.1.0.2
@hackage/BNFC
A compiler front-end generator.
BSD-3-Clausev2.9.5
@hackage/BlogLiterately
A tool for posting Haskelly articles to blogs
GPL-3.0-onlyv0.8.8.2
@haskell/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.12.0.0
@hackage/Diff
Diff algorithm in pure Haskell
BSD-3-Clausev0.5
@hackage/FiniteCategories
Finite categories and usual categorical constructions on them.
GPL-3.0-or-laterv0.6.4.0
@hackage/FiniteCategoriesGraphViz
Transform objects of the package FiniteCategories into graphs using GraphViz.
GPL-3.0-or-laterv0.2.0.0
@hackage/ForSyDe
ForSyDe's Haskell-embedded Domain Specific Language.
BSD-3-Clausev3.1.1
@hackage/Frames-beam
A library for accessing Postgres tables as in-memory data structures.
BSD-3-Clausev0.2.0.0
@hackage/H
The Haskell/R mixed programming environment.
BSD-3-Clausev1.0.0
@hackage/HList
Heterogeneous lists
MITv0.5.3.0
@hackage/HTF
The Haskell Test Framework
LGPL-2.1-onlyv0.15.0.1
@hackage/HaRe
the Haskell Refactorer.
BSD-3-Clausev0.8.4.1
@hackage/HasCacBDD
Haskell bindings for CacBDD
GPL-2.0-onlyv0.2.0.0
@hackage/HsOpenSSL-x509-system
Use the system's native CA certificate store with HsOpenSSL
BSD-3-Clausev0.1.0.4
@hackage/HsWebots
Webots bindings for Haskell
MITv0.1.1.3
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.1.1.0
@hackage/MagicHaskeller
Automatic inductive functional programmer by systematic search
BSD-3-Clausev0.9.7.1
@hackage/MicroCabal
A Cabal replacement
Apache-2.0v0.1.0.0
@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/MissingH
Large utility library
BSD-3-Clausev1.6.0.1
@hackage/Monadoro
A minimalistic CLI Pomodoro timer.
MITv0.3.6.2
@hackage/NGLess
NGLess implements ngless, a DSL for processing sequencing data
MITv1.5.0
@hackage/NetSNMP
Bindings for net-snmp's C API for clients
BSD-3-Clausev0.4.0.0
@hackage/PropaFP
Auto-active verification of floating-point programs
MPL-2.0v0.1.2.0
@hackage/PyF
Quasiquotations for a python like interpolated string formatter
BSD-3-Clausev0.11.2.1
@hackage/QuickCheck
Automatic testing of Haskell programs
BSD-3-Clausev2.15
@hackage/R-pandoc
BSD-3-Clausev0.2.3