Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage extra dependents

351 results

@hackage/context-free-art
Generate art from context-free grammars
BSD-3-Clausev0.3.0.1
@hackage/convexHullNd
Convex hull
GPL-3.0-onlyv0.1.0.0
@hackage/copilot-bluespec
A compiler for Copilot targeting FPGAs.
BSD-3-Clausev4.4
@hackage/crucible-llvm
Support for translating and executing LLVM code in Crucible
BSD-3-Clausev0.7.1
@hackage/crux-llvm
A verification tool for C programs.
BSD-3-Clausev0.10
@hackage/cryptol
Cryptol: The Language of Cryptography
BSD-3-Clausev3.3.0
@hackage/curry-base
Functions for manipulating Curry programs
BSD-3-Clausev1.1.1
@hackage/curry-frontend
Compile the functional logic language Curry to several intermediate formats
BSD-3-Clausev2.0.0
@hackage/data-effects-th
Template Haskell utilities for the data-effects library.
MPL-2.0v0.4.2.1
@hackage/dbus
A client library for the D-Bus IPC system.
Apache-2.0v1.4.1
@hackage/dbus-app-launcher
Simple app launcher for D-Bus
MITv0.1.1.0
@hackage/debug
Simple trace-based debugger
BSD-3-Clausev0.1.1
@hackage/delaunayNd
Delaunay tessellation
GPL-3.0-onlyv0.1.0.2
@hackage/devanagari-transliterations
Conversion between Devanagari Unicode, Harvard-Kyoto, IAST and ISO15919.
BSD-3-Clausev0.1.0.0
@hackage/distribution-opensuse
Types, functions, and tools to manipulate the openSUSE distribution
BSD-3-Clausev1.1.4
@hackage/dl-fedora
Fedora image download tool
GPL-3.0-onlyv2.0.1
@hackage/dnf-repo
A dnf wrapper with fine control of enabled repos
GPL-3.0-onlyv0.6.1
@hackage/do-spaces
DigitalOcean Spaces API bindings
BSD-3-Clausev0.2
@hackage/doctest-parallel
Test interactive Haskell examples
MITv0.4
@hackage/dojang
A cross-platform dotfiles manager
GPL-3.0-or-laterv0.1.0
@hackage/dragen
Automatic derivation of optimized QuickCheck random generators.
BSD-3-Clausev0.1.0.0
@hackage/duckling
A Haskell library for parsing text into structured data.
BSD-3-Clausev0.2.0.0
@hackage/dustme
Initial project template from stack
BSD-3-Clausev0.1.0.0
@hackage/ecta
BSD-3-Clausev1.0.0.3
@hackage/eliminators
Dependently typed elimination functions using singletons
BSD-3-Clausev0.9.6
@hackage/ethereum-analyzer
A Ethereum contract analyzer.
Apache-2.0v3.3.4
@hackage/ethereum-analyzer-cli
A CLI frontend for ethereum-analyzer.
Apache-2.0v3.3.4
@hackage/ethereum-analyzer-webui
A web frontend for ethereum-analyzer
Apache-2.0v3.3.4
@hackage/evdev
Bindings to libevdev
BSD-3-Clausev2.3.1.2
@hackage/evdev-streamly
Bridge for working with evdev and streamly
BSD-3-Clausev0.0.2.1

Previous
Next