MyNixOS website logo
Showing entries 12801-12900 out of 54369.
Provides a wrapper for deriving word types with fewer bits
Provides Go package metadata
Oracle Database Bindings
Convert Open Document Spreadsheet ODS to CSV
Interface to the Online Encyclopedia of Integer Sequences (OEIS)
Interface for Online Encyclopedia of Integer Sequences (OEIS)
A parser for simplified-syntax OFF files
Parser for OFX data
Haskell binding to OGDF
A context aware binding for the OpenGL graphics system
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Helper tool to interoperate between Copilot and other languages
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator: CoCoSpec
Ogma: Runtime Monitor translator:
Ogma: Runtime Monitor translator: FRET Component Specification Frontend
Ogma: Runtime Monitor translator: FRET Component Requirement DB Frontend
Ogma: Runtime Monitor translator: JSON Frontend
Ogma: Runtime Monitor translator: SMV Language Frontend
Ogma: Runtime Monitor translator: JSON Frontend
A lightweight markup language for story writers
An Entity-Component-Systems engine core
Interface to the Ohloh API
Library for purely functional lazy interactions with the outer world
OpenID Connect 1.0 library for RP
Wrapper for OIS input manager for use with hogre
A microframework based on monadic parsing
Locale library
Time library
Basic versioning library
Haskell bindings for ollama
An OpenLayers JavaScript Wrapper and Webframework with snaplet-fay
Actor pattern utilities
Om-doh
Haskell utilities for building embedded Elm programs
Monad transformer providing MonadFail
Concurrency utilities
Http utilities
Om-http-logging
Om-kubernetes
Legion Framework
Opinionated logging utilities
Plugin-based explicit import generation
Utilities for showing string-like things
Socket utilities
Misc. time utilites
A simple tool to generate OMakefile for latex files
Render engine
Integer sets and relations using Presburger arithmetic
A purely functional programming language and a proof system
Data encoding and decoding command line utilities
A pretty-printer wrapper to faciliate ease of formatting during development
"Haskell on a Horse" - A combinatorial web framework
Program that sends traffic through SSH tunnels on-demand
HTML-parsing primitives for Parsec
ONC RPC (aka Sun RPC) and XDR library
Memoization for IO actions and functions
Pretty-printing short Aeson values as text
Constraint-based generics
Generics-based implementations for common typeclasses
HMAC-Based and Time-Based One-Time Passwords
Anonymous coproduct type
A never-empty list type
Singleton Tuple
See readme.md
See readme.md
The 1-tuple type or single-value "collection"
A grep-like tool for filtering on words or lines
Partition lenses
Text UI library for performing parallel remote SSH operations
Code for the Haskell course taught at the Odessa National University in 2012
Support for OO-like prototypes
Combinators for handling errors of many types in a composable way
Oops examples
Common operators encouraging large-scale easy reading
Functions of the type a -> a -> b
An SQL-generating DSL targeting PostgreSQL
Opaleye wrapped up in classy MTL attire
An SQL-generating DSL targeting SQLite
Text search utilities for Opaleye
A monad transformer for Opaleye
OPC XML-DA Client
Open algebraic data types
Open algebraic data type examples
Open a web browser from Haskell
Open haddock HTML documentation
Conversion between markup formats
A mechanism similar to checked exceptions that integrates with MTL and transformer stacks
An implementation of BSYM in Haskell
Open type representations and dynamic types
Extensible, type-safe unions
open-witnessopen-witnessNix package
Open witnesses
open-witnessopen-witness_0_7Nix package
Open witnesses
IBM AFP document format parser and generator
Assorted utilities to work with AFP data streams
Unofficial OpenAI client
Unofficial OpenAI servant types
Auto-generated API bindings for openai
A binding to the OpenAL cross-platform 3D audio API