MyNixOS website logo
Showing entries 13001-13100 out of 18490.
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
propsNix package
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
proto-lens-protobuf-typesproto-lens-protobuf-typesNix package
Basic protocol buffer message types
proto-lens-protobuf-typesproto-lens-protobuf-types_0_7_2_2Nix package
Basic protocol buffer message types
proto-lens-protocproto-lens-protocNix package
Protocol buffer compiler for the proto-lens library
proto-lens-protocproto-lens-protoc_0_9_0_0Nix package
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
Lightweight dependency injection / namespaced+typed implicit-ish arguments
Make functions consume Proxy instead of undefined
ProxNNix package
Proximity sets in N dimensions
proxyNix package
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
A tagged rose-tree with short circuited unique leaves
Cpp-style built-in macros using Template Haskell
psiNix package
Yet another custom Prelude
psqlNix package
PostgreSQL client
A small collection of helper functions to generate postgresql queries
PostgreSQL Simple util tools
Priority Search Queue
Pure priority search queues
A Haskell Implementation of the Porter Stemmer
psxNix package
Integrate libpsx with the GHC RTS
pteraNix package
A parser generator
A parser generator
A parser generator
Bindings for the pthread library
PTQNix package
An implementation of Montague's PTQ
ptrNix package
Experimental abstractions for operations on pointers
Pointer poking action construction and composition toolkit
Type-checked pointer diffs
pubNix package
Pipe stdin to a redis pub/sub channel
The publicsuffix list exposed as proper Haskell types
Is a given string a domain suffix?
Create the publicsuffixlist package
Publishing tools for papers, books, and presentations
PubNub Haskell SDK
A library for Google/SixApart pubsub hub interaction
A CLI assistant
Pugixml binding
PugsNix package
A Perl 6 Implementation
Portable Haskell/POSIX layer for Pugs
DrIFT with pugs-specific rules
Haskell PCRE binding