MyNixOS website logo
Showing entries 14901-15000 out of 18547.
Generic programming without too many type classes
Simple pool
Simulate sequencing with different models for priming and errors
Load data organized in a tree
sinceNix package
Get the number of seconds since the last invocation
A programming language for simple GUIs
A class for single tuple implementations
Raehik's singletons
Like singletons, but much smaller
Type level booleans
Typelevel balanced search trees via a singletonized Data
Unary natural numbers relying on the singletons infrastructure
Singletons and induction over GHC TypeLits
singletonssingletonsNix package
Basic singleton types and definitions
singletonssingletons_3_0_4Nix package
Basic singleton types and definitions
singletons-basesingletons-baseNix package
A promoted and singled version of the base library
singletons-basesingletons-base_3_3Nix package
A promoted and singled version of the base library
singletons-basesingletons-base_3_4Nix package
A promoted and singled version of the base library
An optional type with type level default
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package
singletons-thsingletons-thNix package
A framework for generating singleton types
singletons-thsingletons-th_3_3Nix package
A framework for generating singleton types
singletons-thsingletons-th_3_5Nix package
A framework for generating singleton types
Singnal
Multivariate polynomial factorization via bindings to Singular-factory
sinkNix package
An alternative to lazy I/O that doesn't conflate execution with evaluation
sintNix package
Nat singletons represented by Int
Siphash: a fast short input PRF
Encode and decode CSV files
Siren Tools for Haskell
Sirkel, a Chord DHT
SitNix package
Prototypical type checker for Type Theory with Sized Natural Numbers
Sitemap parser
Generate XML Sitemaps & Sitemap Indexes
A simple to understand static site generator
sixelNix package
Sixel library to show images in a terminal emulator
A six figure group of time
An eDSL for writing 65(C)02 bytecode
Sized functors, for size-based enumerations
Fast size comparison for standard containers
sizedNix package
Sized sequence data-types
Multidimensional grids with sized specified at compile time
Sized types in Haskell using the GHC Nat kind
Size-parameterized vector types and functions
Create a Sized version of any container
Aeson instances for 'Sized'
QuickCheck instance for 'Sized'
'Sized' wrappers for text
sizesNix package
Recursively show space (size and i-nodes) used in subdirectories
sjspNix package
Simple JavaScript Profiler
SJWNix package
The Simple Javascript Wrench
skeinNix package
Skein, a family of cryptographic hash functions
Skeletal set - a set with equivalence relation different from equality
Batteries-included, opinionated test framework
A tool to access the OSX keychain
Manage project skeletons
skellNix package
An overly complex Haskell web framework
A MyAnimeList.net client
Sketch programming with Copilot
Random access lists: skew binary
skewsNix package
A very quick-and-dirty WebSocket server
An implementation of pure skip lists
Skip variables
Check dates of container images
skulkNix package
Eclectic collection of utility functions
Skylark client
skylightingskylightingNix package
Syntax highlighting library
skylightingskylighting_0_14_5Nix package
Syntax highlighting library
skylighting-coreskylighting-coreNix package
Syntax highlighting library
skylighting-coreskylighting-core_0_14_5Nix package
Syntax highlighting library
Customized Skylighting syntax highlighters
ANSI formatter for skylighting syntax highlighting library
skylighting-format-blaze-htmlskylighting-format-blaze-htmlNix package
HTML formatter for skylighting syntax highlighting library
skylighting-format-blaze-htmlskylighting-format-blaze-html_0_1_1_3Nix package
HTML formatter for skylighting syntax highlighting library
ConTeXt formatter for skylighting syntax highlighting library
LaTeX formatter for skylighting syntax highlighting library
Lucid support for Skylighting
Utilities for modifying Skylighting syntaxes
Skype Desktop API binding for Haskell
Export Skype chat logs to text files
slabNix package
A programmable markup language to generate HTML
slackNix package
Haskell API for interacting with Slack
Bindings to the Slack RTM API
Slack notifier for Haskell project
Please see the README on GitHub at https://github.com/codedownio/slack-progressbar#readme
Slack API Request Verification HMAC
Bindings for the Slack web API
slateNix package
A note taking CLI tool
A fundamental solution to ghost threads and silent exceptions
sleepNix package
ZZzzZz
Generate C++ skeletons from slice files
Python-ish slicing traversals for Haskell
slickslickNix package
A quick & easy static site builder built with shake and pandoc
slickslick_1_3_1_0Nix package
A quick & easy static site builder built with shake and pandoc
Ws convert markdown to reveal-js
Generate slides from Haskell code
slimNix package
Functional reactive user interface programming
SLIP-0032: Extended serialization format for BIP-32 wallets
slistNix package
Sized list
A command line interface to Sloane's OEIS