@haskell filepath dependents

1070 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
@hackage/BlogLiterately-diagrams
Include images in blog posts with inline diagrams code
BSD-3-Clausev0.3.1
@haskell/Cabal
A framework for packaging Haskell software
BSD-3-Clausev3.14.2.0
@hackage/Cabal-syntax
A library for working with .cabal files
BSD-3-Clausev3.14.2.0
@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/Flint2-Examples
Examples for the Flint2 library
GPL-2.0-onlyv0.1.0.2
@hackage/Gamgine
Some kind of game library or set of utilities.
BSD-3-Clausev0.7.0
@hackage/HList
Heterogeneous lists
MITv0.5.4.0
@hackage/HPDF
Generation of PDF documents
BSD-3-Clausev1.7
@hackage/HSmarty
Small template engine
BSD-3-Clausev0.4.2
@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.14
@hackage/HsYAML
Pure Haskell YAML 1.2 processor
GPL-2.0-onlyv0.2.1.5
@hackage/LPPaver
An automated prover targeting problems that involve nonlinear real arithmetic
MPL-2.0v0.0.5.0
@hackage/LambdaHack
A game engine library for tactical squad ASCII roguelike dungeon crawlers
BSD-3-Clausev0.11.0.1
@hackage/LazyVault
A simple sandboxing tool for Haskell packages.
GPL-3.0-onlyv0.0.1
@hackage/MIP
Library for using Mixed Integer Programming (MIP)
BSD-3-Clausev0.2.0.0
@hackage/MicroHs
A small compiler for Haskell
Apache-2.0v0.11.4.0
@hackage/MissingH
Large utility library
BSD-3-Clausev1.6.0.2
@hackage/MuCheck
Automated Mutation Testing
GPL-2.0-onlyv0.3.0.4
@hackage/NGLess
NGLess implements ngless, a DSL for processing sequencing data
MITv1.5.0
@hackage/ONC-RPC
ONC RPC (aka Sun RPC) and XDR library
Apache-2.0v0.2
@hackage/PyF
Quasiquotations for a python like interpolated string formatter
BSD-3-Clausev0.11.4.0
@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