Showing entries 12801-12900 out of 18268.
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
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 library for interfacing with the CMU Pronouncing Dictionary
Telegram bot for proof assistants
Proof Combinators used in Liquid Haskell for Theorem Proving
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 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
JSON protobuf encoding for proto-lens
Adapting proto-lens to optparse-applicative ReadMs
Basic protocol buffer message types
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
Parse Google Protocol Buffer specifications
Parser and printer for radius protocol packet
Testsuit of protocol-radius haskell package
A small prelude
Protolude with lifted-base and lifted-async
Please see the README on GitHub at https://github.com/ChrisPenner/proton#readme
Simple XML templating library
Prototype-based programming on Haskell
The server for ProveEverywhere
Computations that automatically track data dependencies
Make functions consume Proxy instead of undefined
Proximity sets in N dimensions
Proxy helpers
A library for kind-polymorphic manipulation and inspection of Proxy values
Mapping of Proxy Types
Prune unused Haskell dependencies
Language support for the PureScript programming language
Reading/Writing OPB/WBO files used in pseudo boolean competition