Search on Flora About Categories Packages

Flora :: [Package]

Search on Flora About Documentation Categories Packages Login

@hackage hint dependents

25 results

@hackage/MagicHaskeller
Automatic inductive functional programmer by systematic search
BSD-3-Clausev0.9.7.1
@hackage/MuCheck
Automated Mutation Testing
GPL-2.0-onlyv0.3.0.4
@hackage/aeson-schema
Haskell JSON schema validator and parser generator
MITv0.4.2.0
@hackage/aeson-schemas
Easily consume JSON data on-demand with type-safety
BSD-3-Clausev1.4.2.1
@hackage/bidirectionalization-combined
Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)
LicenseRef-PublicDomainv0.1.0.1
@hackage/clash-lib
Clash: a functional hardware description language - As a library
BSD-2-Clausev1.8.1
@hackage/clash-prelude
Clash: a functional hardware description language - Prelude library
BSD-2-Clausev1.8.1
@hackage/diagrams-builder
hint-based build service for the diagrams graphics EDSL.
BSD-3-Clausev0.8.0.6
@hackage/exigo-schema
database schema for exigo marking/assessment tools
BSD-2-Clausev0.2.0.2
@hackage/greskell
Haskell binding for Gremlin graph query language
BSD-3-Clausev2.0.3.0
@hackage/haskell-awk
Transform text from the command-line using Haskell expressions.
Apache-2.0v1.2.0.1
@hackage/haskintex
Haskell Evaluation inside of LaTeX code.
BSD-3-Clausev0.8.0.2
@hackage/hid-examples
Examples to accompany the book "Haskell in Depth"
BSD-3-Clausev0.5
@hackage/hwk
Commandline text processing with Haskell functions
MITv0.6
@hackage/hyper-haskell-server
Server back-end for the HyperHaskell graphical Haskell interpreter
BSD-3-Clausev0.2.3.1
@hackage/lambdabot-zulip
Lambdabot for Zulip Chat
MITv0.1.0
@hackage/liquid-platform
A battery-included platform for LiquidHaskell
BSD-3-Clausev0.9.2.8
@hackage/liquidhaskell
Liquid Types for Haskell
BSD-3-Clausev0.9.8.1
@cardano/marlowe-test
Tests for Marlowe semantics and validators on Cardano
Apache-2.0v0.2.1.0
@hackage/mueval
Safely evaluate pure Haskell expressions
BSD-3-Clausev0.9.4
@hackage/snap-loader-dynamic
Snap dynamic loader
BSD-3-Clausev1.0.0.2
@hackage/tensor-safe
Create valid deep neural network architectures
BSD-3-Clausev0.1.0.1
@hackage/tidal
Pattern language for improvised music
GPL-3.0-onlyv1.9.5
@hackage/xmonad-extras
Third party extensions for xmonad with wacky dependencies
BSD-3-Clausev0.17.1
@hackage/yi-core
Yi editor core library
GPL-2.0-onlyv0.19.2