@hackage pretty dependents

598 results

@hackage/chp-plus
A set of high-level concurrency utilities built on Communicating Haskell Processes
BSD-3-Clausev1.3.1.2
@hackage/chp-spec
A mirror implementation of chp that generates a specification of the program
BSD-3-Clausev1.0.0
@hackage/circuit-notation
A source plugin for manipulating circuits in clash with a arrow notation
BSD-3-Clausev0.1.0.0
@hackage/citeproc
Generates citations and bibliography from CSL styles.
BSD-2-Clausev0.12
@hackage/clash
CAES Language for Synchronous Hardware (CLaSH)
BSD-3-Clausev0.1.3.11
@hackage/clash-lib
Clash: a functional hardware description language - As a library
BSD-2-Clausev1.8.4
@hackage/clua
C to Lua data wrapper generator
BSD-3-Clausev0.3
@hackage/cmdtheline
Declarative command-line option parsing and documentation library.
MITv0.2.3
@hackage/cnc-spec-compiler
Compiler/Translator for CnC Specification Files.
BSD-3-Clausev0.2.0.1
@hackage/codec-rpm
A library for manipulating RPM files
LGPL-2.1-onlyv0.2.2
@hackage/complexity
Empirical algorithmic complexity
BSD-3-Clausev0.1.3
@hackage/conffmt
A .conf file formatter
MITv0.2.3.0
@hackage/config-schema
Schema definitions for the config-value package
ISCv1.3.0.0
@hackage/config-value
Simple, layout-based value language similar to YAML or JSON
MITv0.8.3
@hackage/configurator-export
Pretty printer and exporter for configurations from the "configurator" library.
BSD-3-Clausev0.1.0.1
@hackage/conjure
A BitTorrent client
BSD-3-Clausev0.1
@hackage/context-free-grammar
Basic algorithms on context-free grammars
BSD-3-Clausev0.1.1
@hackage/control-monad-exception
Explicitly typed, checked exceptions with stack traces
LicenseRef-PublicDomainv0.11.4
@hackage/control-monad-failure
A class for monads which can fail with an error. (deprecated)
LicenseRef-PublicDomainv0.7.0.1
@hackage/copilot-bluespec
A compiler for Copilot targeting FPGAs.
BSD-3-Clausev4.6
@hackage/copilot-c99
A compiler for Copilot targeting C99.
BSD-3-Clausev4.6
@hackage/copilot-cbmc
Copilot interface to a C model-checker.
BSD-3-Clausev2.2.1
@hackage/copilot-core
An intermediate representation for Copilot.
BSD-3-Clausev4.6
@hackage/copilot-interpreter
Interpreter for Copilot.
BSD-3-Clausev4.6
@hackage/copilot-language
A Haskell-embedded DSL for monitoring hard real-time distributed systems.
BSD-3-Clausev4.6
@hackage/copilot-prettyprinter
A prettyprinter of Copilot Specifications.
BSD-3-Clausev4.6
@hackage/copilot-sbv
A compiler for CoPilot targeting SBV.
BSD-3-Clausev2.2.1
@hackage/copilot-theorem
k-induction for Copilot.
BSD-3-Clausev4.6
@hackage/copilot-visualizer
Visualizer for Copilot.
BSD-3-Clausev4.6
@hackage/core
External core parser and pretty printer.
BSD-3-Clausev0.5