Showing entries 18201-18300 out of 18345.
Yi editor miscellaneous modes
Yi editor haskell mode
Yi editor javascript mode
Monokai colour theme for the Yi text editor
A rope data structure used by Yi
Snippet support for yi
Solarized colour theme for the Yi text editor
Spolsky colour theme for the Yi text editor
The Haskell-Scriptable Editor, helper package
Haskell programming interface to Yices SMT solver
Simple interface to the Yices SMT (SAT modulo theories) solver
An embedded language for programming the Yices SMT solver
This project's whole name is Zhou Yi Yarrow divination
CUI FTP client like 'ftp', 'ncftp'
CUI FTP client like 'ftp', 'ncftp'
Make SVG string from Haskell data
Some tools for Monad, List, Tuple and so on
A Minimal JSON Parser & Printer for Haskell
A Minimal JSON Parser & Printer for Haskell
A truly tiny monadic parsing library
Parser combinators for young padawans
Bindings to Facebook's Yoga layout library
A MUD client library
A functional MUD client
Generic Programming with Disbanded Data Types
A library for digital circuit description
Yosys RTL Intermediate Language
Upload video to YouTube via YouTube API
A YQL engine to execute Open Data Tables
Builds a static website from templates and data in YAML or CSV files
Mtl-style transformations for Yesod sites
Auth module for Yu
The core of Yu
The launcher for Yu
Tool for Yu
Utils for Yu
Grids defined by layout hints and implemented on top of Yahoo grids
A transcendental HTML parser gently wrapping the HXT library
Row-major coordinates
Utilities for reading and writing Alteryx .yxdb files
Crypto for Haskell
Array, vector and text
Simple and high performance IO toolkit for Haskell
MessagePack
YAML tools
Bindings for the Z3 Theorem Prover
High-level assertion encoding to Z3 solver
Implementation of the z85 binary codec
Simple-minded abstract binding trees
Z-algorithm implemented on haskell's built-in cons-cell-based lists
A tool for checking how much work is done on group projects
Lojban parser (zasni gerna)
Zbar bindings in Haskell
Zobrist keys for game state tracking
Polymer growth simulation method
A standard compliant HTML parsing library
Unicode utilities for Haskell
GHC style name Z-encoding and Z-decoding
Zendesk API for Haskell programming language
@zenhack's personal custom prelude
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
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