@haskell process dependents

569 results

@hackage/Agda
A dependently typed functional programming language and proof assistant
MITv2.7.0.1
@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.14.2.0
@hackage/Diff
Diff algorithm in pure Haskell
BSD-3-Clausev1.0.2
@hackage/FiniteCategories
Finite categories and usual categorical constructions on them.
GPL-3.0-or-laterv0.6.5.1
@hackage/FiniteCategoriesGraphViz
Transform objects of the package FiniteCategories into graphs using GraphViz.
GPL-3.0-or-laterv0.2.0.0
@hackage/H
The Haskell/R mixed programming environment.
BSD-3-Clausev1.0.0
@hackage/HList
Heterogeneous lists
MITv0.5.4.0
@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/HasCacBDD
Haskell bindings for CacBDD
GPL-2.0-onlyv0.3.0.0
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.2.0.0
@hackage/MagicHaskeller
Automatic inductive functional programmer by systematic search
BSD-3-Clausev0.9.7.1
@hackage/MicroCabal
A partial Cabal replacement
Apache-2.0v0.3.1.2
@hackage/MicroHs
A small compiler for Haskell
Apache-2.0v0.11.4.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.2
@hackage/Monadoro
A minimalistic CLI Pomodoro timer.
MITv0.4.0.1
@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.4.0
@hackage/QuickCheck
Automatic testing of Haskell programs
BSD-3-Clausev2.15.0.1
@hackage/ShellCheck
Shell script analysis tool
GPL-3.0-onlyv0.10.0
@hackage/THSH
A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell
MITv0.0.0.5
@hackage/TeX-my-math
Render general Haskell math to LaTeX. Or: math typesetting with high signal-to-noise–ratio.
GPL-3.0-onlyv0.203.0.0
@hackage/Unixutils
A crude interface between Haskell and Unix-like operating systems
BSD-3-Clausev1.54.3
@hackage/Yampa
Elegant Functional Reactive Programming Language for Hybrid Systems
BSD-3-Clausev0.15
@hackage/aeson-generics-typescript
Generates TypeScript definitions that match Generic Aeson encodings
BSD-3-Clausev0.0.0.1