Showing entries 16001-16100 out of 18628.
Get argv[0] as a FilePath
Abstract data type for canonical paths with some utilities
A replacement for System
Error reporting functions
A bunch of system utilities used by other projects
Consistent filesystem interaction across GHC versions (deprecated)
High-level, byte-based file and directory path manipulations (deprecated)
GPIO wrapper libary for Raspberry Pi
Get the name of the operating system
Binding to Linux's inotify interface
Lifted versions of System functions
A library for accessing the /proc filesystem in Linux
Get system locales
A toy module to temporarily redirect a program's stdout
Random number generation for extensible effects
Runs system tests of applications
Simple library for using the system's monotonic clock
Various system utils lifted to EitherT
Bindings to system UUID functions
Systemd facilities (Socket activation, Notify)
Systemd bindings
Send notifications for systemd units to ntfy.sh
Let systemd bind the server's socket for you
An application that regularly logs system stats for later analysis
Let you put anything in the system tray
Scrap Your Zippers
Matchers and grammars using tree regular expressions
Tic-tac-toe Rexports for client
Tic-tac-toe core
Tic-tac-toe server
Transito Abierto: convenience library when using Takusen and Oracle
Table layout
Simple tool to generate tables from DSV input
Format tabular data as grid or table
A table tennis game tracking engine
Ferry Table Algebra
An interactive theorem prover based on semantic tableaux
A client for Quill databases
In-memory storage with multiple keys using lenses and traversals
Azure Table Storage REST API Wrapper
Tool to render CSV into tables of various formats
Pretty-printing of CSV files
View the output of shell commands in a table
Indents source files
Two-dimensional data tables with rendering functions
A desktop bar similar to xmobar, but with more GUI
Provides access to the dynamic pointer tagging bits used by GHC
Streamlined html tag parser
Alternative package for processing of tag soups
Haskell 98 phantom types to avoid unsafely passing dummy arguments
Haskell 98 phantom types to avoid unsafely passing dummy arguments
Provides tools for serializing data tagged with type information
Reflect exceptions using phantom types
Trivial monad transformer that allows identical monad stacks to have different types
Lists tagged with a type-level natural number representing their length
QuasiQuoter and Template Haskell splices for creating proxies at higher-kinds
Simple wrappers for timing IO actions (single-threaded)
Monad transformer carrying an extra phantom type tag
Library for tagging data
Efficient and simple HTML/XML parsing library
Lenses for the taggy html/xml parser
Binding to TagLib (ID3 tag library)
An FFI layer over TagLib's C bindings
Positional tags and tagsets
TagShare - explicit sharing with tags
Parsing and extracting information from (possibly malformed) HTML/XML documents
Alternative parser for the tagsoup package
A Tag token parser and Tag specific parsing combinators
Tagsoup Navigate
Tokenizes Tag, so [ Tag ] can be used as parser input
Selecting subtrees from TagSoup's TagTrees using CSS selectors
Black magic tagsoup
Streamlined html tag parser
Hierarchical Tags & Tag Trees
Tahin Password Generator
Abstractions related to Tahoe-LAFS "capabilities"
The Tahoe-LAFS' Content-Hash-Key (CHK) cryptographic protocol
Tahoe-LAFS directory-like abstraction for collections of data objects
An implementation of the "Great Black Swamp" LAFS protocol
An HSpec for Great Black Swamp storage backends
Types related to implementation of a Tahoe-LAFS Great Black Swamp server
An implementation of the Tahoe-LAFS SSK cryptographic protocols
Support library to enable TAI usage on systems with time kept in UTC
Tai64 Labels for Haskell
Tail files in Unix, using hinotify
Tailwind wrapped in Haskell
Tainted type, and associated operations
A library encoding the rules of Tak, and a playtak.com client
AI(s)
Create slide for presentation
Duplicate file finder
Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC
Database library with left-fold interface for Oracle
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
Line oriented fast enough text search
The Tamarin prover for security protocol analysis
Term manipulation library for the tamarin prover
Term manipulation library for the tamarin prover
Utility library for the tamarin prover
Blaze-style HTML templates as a Monad Transformer