Showing entries 17301-17400 out of 18345.
JSON instances and JSON Schema for verdict
An intermediate language for Hoare logic style verification
A new Haskeleton package
Verilog preprocessor, parser, and AST
Random verilog generation and simulator testing
Small alternative prelude
A simple version type
FromDhall and ToDhall instances for version-natural
Type-safe data versioning
Servant combinators for the versioning library
Types and parsers for software version numbers
Types and parsers for software version numbers
Vertex enumeration
Functor-parametric containers
Types for ingesting vflow data with aeson
A Python str.format() like formatter
Extend vformat to Aeson datatypes
Extend vformat to time datatypes
VFR waypoints, as published in the AIP (ERSA)
A pager for grep
Provides functions to inspect and manipulate virtual hard disk (VHD) files
VHDL AST and pretty printer
Please see the README on Github at https://github.com/andrewthad/vicinity#readme
ViennaRNA v2 bindings
ViennaRNA v2 extensions
Libary for parsing ViennaRNA package output
Text-based interactive GHC .prof viewer
Views allow you to run a State monad on part of a state
An extensible dead-man's switch system
Villefort is a task manager and time tracker
Frontend for video metadata tagging tools
An MPD client with vim-like key bindings
Interpreter for microcomputer-era BASIC
Extensible Records
Convert plain records to vinyl (and vice versa), generically
Utilities for working with OpenGL's GLSL shading language and vinyl records
Provide json instances automagically to vinyl types
Loeb's theorem for extensible records
Syntax sugar for vinyl records using overloaded labels
Initial project template from stack
Vinyl records utilities
Utilities for vinyl
Vectors for vinyl vectors
Virtual Haskell Environment builder
Painless 3D graphics, no affiliation with gloss
Painless 3D graphics, no affiliation with gloss
Simple computation of visibility polygons
An XMMS2 client
Visualize the graph-rewrite steps of a Haskell program
Create a visual profile of a program's source code
Visualize CBN reduction
Profunctor optics via the profunctor representation theorem
Sound synthesis with SuperCollider
Open Sound Control encode/decode
Implementation of SuperCollider server specifications
Amazon Route53 DNS service plugin for the aws package
Pseudo terminal interaction with subprocesses
Provides access to Vkontakte social network via public API
Smaoin vocabulary definitions of the base framework
Phase vocoder
Phase vocoder for conduit-audio
Phase vocoder for Conduit
Phase vocoder for Dunai and Rhine
Upload audio files to voicebase to get a transcription
A Haskell 98 logically uninhabited data type
Reading of Vorbis comments from Ogg Vorbis files
Vowpal Wabbit utilities
Haskell bindings for libvoyeur
Vantage Point Trees
Priority queue based on vector
VRML parser and generator for Haskell
Bindings to VRPN
Vector and Text utilities
Binding to the VTE library
Binding to the VTE library
A simple terminal UI library
A simple terminal UI library
Cross-platform support for Vty
Examples programs using the vty library
A lib for displaying a menu and getting a selection using VTY
An interactive terminal user interface library for Vty
Extra vty-ui functionality not included in the core library
Unix backend for Vty
Windows backend for Vty
A binding for the Vulkan API
Bindings to the Vulkan graphics API
Low-level low-overhead vulkan api bindings
Utils for the vulkan package
Bindings to the VulkanMemoryAllocator library
JSON wrangling
Manage Wacom tablet settings profiles, including Intuos Pro ring modes
DOOM WAD file utilities
A haskell binding of the Web Audio API ala blank-canvas
Web Application Interface
Rewrite based on Accept-Language header
File/CGI/Rev Proxy App of WAI
WAI application for static serving
Command line runner for Wai apps (using Warp) with TLS, CGI, socket activation & graceful shut…
Conduit wrappers for WAI
Run wai Applications in IO based monads