MyNixOS website logo
Showing entries 11701-11800 out of 54369.
Semi-automatic database schema migrations
MikMod bindings
Lambda calculus interpreter
A minimum web dev DSL
A Kafka client for Haskell
Working with MIME types
A library for parsing/printing the text/directory mime type
Compose MIME email messages
Send mime-mail messages via Amazon SES
MIME implementation for String's
Basic mime-type handling types and functions
Double-ended priority queues
A DSL for generating minecraft commands and levels
Minesweeper simulation using neural networks
Minesweeper game which is always solvable without guessing
Minimal essentials
Template Haskell Implementation of Egison Pattern Matching
A toy dependently typed programming language with type-based termination
Bindings to Miniball, a smallest enclosing ball library
Minimalist CI framework to run checks on local machine
Minimal bindings to libcurl
Miniature FORTH-like interpreter
A minimalistic lens library, providing only the simplest, most basic lens functionality
A SDL2-based graphics library, batteries-included
A binding library of minilight for Lua langauge
Minimal ini like configuration library with a few extras
English spelling functions with an emphasis on simplicity
Shows how to run grabber on Mac OS X
A MinIO Haskell Library for Amazon S3 compatible cloud storage
A Haskell introspectable web router
Minion conduit support
Minion HTMX support
Minion JWT support
Minion openapi3 support
Minion wrappers for wai-extra
A fast parallel ssh tool
Fast and simple operational monad
Simple 1-to-N interprocess communication
Minimalistic file rotation utility
A Haskell bundle of the Minisat SAT solver
High-level Haskell bindings for the MiniSat SAT solver
An interpreter for an operational semantics for the STG machine
Simple and lightweight benchmarking utilities
Layout and render text with TrueType fonts using OpenGL
Simple English clause creation from arbitrary words
A set of helpers to call minizinc models
Express the minimum length of a container in its type
Functions to find both minimum and maximum (or several of them simultaneously) in one pass
Read and write IDX data that is used in e.g. the MINST database
A reliable way to detect the presence of a MinTTY console on Windows
A Minisat-based CDCL SAT solver in Haskell
Library for using Mixed Integer Programming (MIP)
A GLPK backend to the MIP library
Tweet mirror
Fortune-mod clone
AWS Library
AWS Library
A commmon prelude for the mismi project
AWS Library
AWS Library
A tasty Haskell front-end framework
Miso state transition logger
A tasty Haskell front-end framework
Convert HTML to miso View syntax
A Haskell git implimentation
Useability extras built on top of miss
Convenience functions for FFI work
Haskell interface to Python
Large utility library
Useful types and definitions missing from other libraries
FindM and other missing 'M's
Haskell interface to Python
A git wrapper with a streamlined UX
Vim plugin manager written in Haskell
Mixing effects of one arrow into another one
Find optimal mixed strategies for two-player games
mixed-types-nummixed-types-numNix package
Alternative Prelude with numeric and logic expressions typed bottom-up
mixed-types-nummixed-types-num_0_6_2Nix package
Alternative Prelude with numeric and logic expressions typed bottom-up
Mixpanel client
Makes an OS X .app bundle from a binary
Generate cabal files for a Haskell project
Minimal ML language to to demonstrate the W type infererence algorithm
Monadic List alternative to lazy I/O
Machine Learning Toolbox
The library that can be used for optimization of multiple (Ord a) => a -> b transformations
Memory mapped files for POSIX and Windows
Strict markdown processor for writers
Command line interface to the MMark markdown processor
Commonly useful extensions for the MMark markdown processor
Monad morphisms
The library that can be used for multiple (Ord a) => a -> b transformations
A library that can be used for multiple Ord a => a -> b transformations
Data that is taken from the ukrainian-phonetics-basic-array for optimization
A library that can be used for multiple Hashable a => a -> b transformations
A small library to deal with executable endings
The "glue" between electronic tables and GraphViz
Various additional operations on lists (some with intermediate Monads)
A musical instrument synthesizer or a tool for Ukrainian language listening
A musical instrument synthesizer or a tool for Ukrainian language listening