Showing entries 13001-13100 out of 18570.
Ergonomic process launching with extreme flexibility and speed
Pure structures that can be incrementally created in impure code
Haskell values that cannot be evaluated immediately
Get information on processes in Linux
An IO library for testing interactive command line programs
Some curated and opinionated packages for building Haskell services
Write an HTTP proxy with prodapi counters
A base lib for performing user-authentication in prodapi services
Simple streaming datatype
Product category
Weaken applicative functor on products
Product-profunctors
Generate flamegraphs from ghc RTS .prof files
Convert GHC profiles into GraphViz's dot format
Generate pretty source from time/allocation profiles
Restructure GHC profile reports
Treemap visualiser for GHC prof files
Profunctor arrows
This package has been absorbed into profunctors 4.0
Profunctor miscellany
Monadic bidirectional programming
A compact optics library compatible with the typeclasses in profunctors
Profunctors
Programs with Environments and Managed Resources
Simple progress tracking & projection library
Live diagnostics for concurrent activity
Functionality for reporting function progress
Progressbar API
Automates the recording and graphing of criterion benchmarks
Multilabel classification model which learns sequentially (online)
Haskell bindings for the Proj4 C dynamic library
A project initialization library
Relational Algebra Engine
Specify Haskell project templates and generate files
Go to README.md
Projection function for arbitrarily nested binary product types
Bindings to the projectroot C logic
Profunctor-based lightweight implementation of optics
A Prolog interpreter written in Haskell
A command line tool to visualize query resolution in Prolog
Generating images of resolution trees for Prolog queries
Better, more general Prelude exporting common utilities
ACI Learning's custom prelude
Prometheus Haskell Client
Haskell client library for http://prometheus.io
Instrument applications with metrics and publish/push to Prometheus
Metrics exposing GHC runtime information for use with prometheus-client
Export metrics from /proc for the current process
Instrument a wai application with various metrics
A monadic interface for async
Lazy demand-driven promises
Monad (and transformer) for deferred-effect pure prompt-response queries
A user-friendly, dependently-typed library for asking your users questions
A library for interfacing with the CMU Pronouncing Dictionary
Telegram bot for proof assistants
DEPRECATED
Conveniences for using Hedgehog as a unit test runner
Auto-active verification of floating-point programs
Functional synthesis of images and animations
A Propagator Library
Property-based host configuration management in haskell
An implementation of propositional logic in Haskell
Check quickCheck properties in real time
Common properties
Apple property list parser
A library for tests, based on transforming and writing properties
A library for functional GUI development
Propositional Logic
Reusable quickcheck properties
Proquints: Identifiers that are Readable, Spellable, and Pronounceable
A simple language for writing documents
A DSL for processing Prosidy documents
Explore continuations with trepidation
Bindings to the Prosper marketplace API
Simple audio library for Windows, Linux, OSX
Simple audio library for SDL
Neovim Project Manager
A lens-based implementation of protocol buffers in Haskell
Arbitrary instances for proto-lens
Utilities functions to proto-lens
Protocol buffers for describing the definitions of messages
Proto-lens-etcd - protobuffer lenses for etcd provided by protoc-lens-protoc
JSON protobuf encoding for proto-lens
Adapting proto-lens to optparse-applicative ReadMs
Basic protocol buffer message types
Basic protocol buffer message types
Protocol buffer compiler for the proto-lens library
Protocol buffer compiler for the proto-lens library
Modules that are needed by the Haskell files generated by proto-lens-protoc
Cabal support for codegen with proto-lens
A higher-level API to the proto3-wire library
A low-level implementation of the Protocol Buffers (version 3) wire format
Google Protocol Buffers via GHC.Generics
Slow protobuf implementation
Protocol Buffers via C++
Simple Protocol Buffers library (proto2)
Model distributed system as type-level multi-party protocol
Parse Google Protocol Buffer specifications