Showing entries 17801-17883 out of 17883.
An automated proof system for Haskell programs
Zeolite is a statically-typed, general-purpose programming language
Zephyr, tree-shaking for the PureScript language
Embedded programming in haskell using the Copilot stream DSL and Zephyr
Semigroups with absorption
Post to 0bin services
Bindings to ZeroMQ 2.1.x
Conduit bindings for zeromq3-haskell
Bindings to ZeroMQ 3.x
Haskell implementation of the ZeroMQ clone pattern
Conduit wrapper around zeromq4-haskell
Bindings to ZeroMQ 4.x
Haskell implementation of several ZeroMQ patterns
More constrained extensions to zeromq4-haskell
ZeroTH - remove unnecessary TH dependencies
Command-line utility for working with zettelkast files
Polysemy effects for testing
Oleg's Zipper FS
Zifter
Zifter-cabal
Zifter-git
Zifter-google-java-format
Zifter-hindent
Zifter-hlint
Zifter-stack
XBee ZNet 2.5 (ZigBee) wireless modem communications
Zigzag encoding of integers into unsigned integers
Zigzag encoding of integers into unsigned integers
Read and parse ZIM files
Typed templates with jinja like syntax
App-centric Monad-transformer based on Scala ZIO (UIO + ReaderT + ExceptT)
Operations on zip archives
Library for creating and modifying zip archives
Simple CLI tool for the haskell zip library
Working with zip archives via conduits
ZIP archive streaming using conduits
Create simple list editor interfaces
Zipping folds
Zipkin-style request tracing monad
Generic zipper for families of recursive datatypes
Zipper utils that weren't in Control
An implementationg of Attribute Grammars using Functional Zippers
Traversal based zippers
A simple lens-based, generic, heterogenous, type-checked zipper library
A type-safe client for the Ziptastic API for doing forward and reverse geocoding
Core Servant specification for the Ziptastic API for doing forward and reverse geocoding
Compression and decompression in the gzip and zlib formats
Compression and decompression in the gzip and zlib formats
Low-level bindings to the zlib package
Zlib compression bindings
Streaming compression/decompression via conduits
Enumerator interface for zlib compression
Lenses for zlib
Language independent, reproducible, absolute types
A Z-machine interpreter
Command-line tool for ZeroMQ
Read and write MIDI files
Representing MIDI a simple score
A socat-like tool for zeromq library
ZoneInfo library
A rake/thor-like task runner written in Haskell
A streamable, seekable, zoomable cache file format
Library for zoom-cache PCM audio codecs
Tools for generating zoom-cache-pcm files
Zoom (~ Functor) and pairing (~ Applicative) for mutable references
A haskell binding to Apache Zookeeper C library(mt) using Haskell Z project
Graphing library wrapper + assorted useful functions
Zot language
ZRE protocol implementation
Zero-Suppressed and Reduced Decision Diagrams
Ascii bars representing battery status
Haskell bindings to the Zstandard compression algorithm
Automated theorem prover for the Zsyntax biochemical calculus
Multi-file, colored, filtered log tailer
Creating and extracting arbitrary archives
A lisp processor, An inline-lisp, in Haskell
A zuul client library
Combinators for bidirectional URL routing
Password strength estimation
Password strength estimation based on zxcvbn
Password strength estimation based on zxcvbn
Haskell language binding for the Zydis library, a x86/x86-64 disassembler
Haskell zyre bindings for reliable group messaging over local area networks