MyNixOS website logo
Showing entries 14301-14400 out of 19007.
Much safer replacement for QSemN, QSem, and SampleVar
Obtain homogeneous values from arbitrary values, transforming or culling data
Fast JSON parsing powered by Chad Austin's sajson library
sakNix package
Compression command-line tool
Haskell representation of messages exchanged on the sakura.io platform
salakNix package
Configuration (re)Loader and Parser
Configuration Loader for toml
Configuration Loader for yaml
SalsaNix package
A .NET Bridge for Haskell
Cryptography that's easy to digest (NaCl/libsodium bindings)
Quickcheck implementations for some NaCl data
salveNix package
Semantic version numbers and constraints
Modular web application framework
Demo Salvia servers
Collection of non-fundamental handlers for the Salvia web server
Salvia webserver protocol suite supporting URI, HTTP, Cookie and MIME
Session support for the Salvia webserver
Websocket implementation for the Salvia Webserver
Handling of samples in an (audio) signal
Orphan instances for types from sample-frame and numericprelude
Sample values from collections
A stable adaptive mergesort implementation
Binding to the C samtools library
Conduit interface to SAM/BAM format files through samtools
Enumerator interface to SamTools library
Iteratee interface to SamTools library
sandiNix package
Data encoding library
SAND data serialization and manipulation library
Manages Cabal sandboxes to avoid rebuilding packages
Record historical command runtimes for later prediction
Yet another test framework for Haskell
Contexts for the Sandwich test library
Sandwich test contexts for Kubernetes
Sandwich test contexts for MinIO
Sandwich integration with Hedgehog
Sandwich integration with QuickCheck
Sandwich integration with Slack
sandwich-webdriversandwich-webdriverNix package
Sandwich integration with Selenium WebDriver
sandwich-webdriversandwich-webdriver_0_4_0_2Nix package
Sandwich integration with Selenium WebDriver
Audio library
sarifNix package
SARIF implementation for Haskell
sarsiNix package
A universal quickfix toolkit and his protocol
sashaNix package
A staged lexer generator
saslNix package
SASL implementation using simple-pipe
satNix package
CNF SATisfier
A minimal SAT solver
A high-level wrapper over minisat
SAT encoding monad
Driver for external satchmo backends
Examples that show how to use satchmo
Funsat driver as backend for satchmo
Minisat driver as backend for satchmo
Toysat driver as backend for satchmo
saturnsaturnNix package
Handle POSIX cron schedules
saturnsaturn_1_1_0_2Nix package
Handle POSIX cron schedules
Saturnin CI / Job System
Step-by-step SAT solver for educational purposes
The eye that watches everything you did on Twitter
Re-export of the random generators from Hedgehog
saxNix package
Monadic streaming XML parser
sayNix package
Send textual messages to a Handle in a thread-friendly way
Require explicit type application for some type variables
Construction of context-adjusted pretty output
A benchmark suite for runtime and heap measurements over a series of inputs
sbpsbpNix package
SwiftNav's SBP Library
sbpsbp_6_3_2Nix package
SwiftNav's SBP Library
SBP to UDP
sbvsbvNix package
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
sbvsbv_13_1Nix package
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Component-based program synthesis using SBV
Formally prove properties of Haskell programs using SBV/SMT
Low-level Starcraft II API
A protocol buffer model for the Starcraft II bot API
Support and utility library for sc2hs
sc2hsNix package
An interface to the Starcraft II bot API
Haskell bindings to sc3-rdu (sc3 rd ugens)
Library for writing fast/scalable TCP-based services
scaleNix package
SCALE v2.0 codec for Haskell Web3 library
Scale an image to a new geometry
This is a library for handling calendars and resource availability based on the "top-nodes algorit…
A library for handling calendars and resource availability over time
Test webhooks locally
A high level web scraping library for Haskell
A high level web scraping library for Haskell
Scalpel scrapers for search engines
scanNix package
Lexical style suggestions for source code
Metadata types for Albedo Scanners
An implementation of the Scan Vector Machine instruction set in Haskell
scanfNix package
Easy and type-safe format strings for parsing and printing
Fast non-backtracking incremental combinator parsing for bytestrings
Inject attoparsec parser with backtracking into non-backtracking scanner
scatNix package
Generates unique passwords for various websites from a single password
sccNix package
Streaming component combinators
Scene Graph
scgiNix package
A Haskell library for writing SCGI programs
Marge schedules and show EVR
Pure deterministic scheduled computations
Find the ideal lesson layout
Work stealing scheduler
An interview scheduler using constraint satisfaction and Google Sheets