MyNixOS website logo
Showing entries 4301-4400 out of 54071.
Generalised reactive framework supporting classic, arrowized and monadic FRP
Generalised reactive framework supporting classic, arrowized and monadic FRP
Testing library for Dunai
An implementation of the Dung argumentation frameworks
Duplicate any closure
Frontend development build tool
Durable/atomic file system writes (from rio package)
A tiny compile-time time utility library inspired by zeit/ms
Polymorphic protocol engine
Cryptographic operations
Network filtering exploration tools
Network filtering exploration tools that rely on pcap
Initial project template from stack
Dead simple password manager
Efficient automatic differentiation and code generation
A monadic interface to libdvdread
Read/write DVI and TFM file
Dvorak encoding for Haskell
Parser for DWARF debug format
Parser for DWARF debug format
High-level wrapper around the dwarf library
A minimal testing library
Backend for a binding to the Microsoft DirectX 9 API
A binding to the Microsoft DirectX 9 API
A binding to the Microsoft DirectX 9 D3DX API
A library for working with binary Dyck words
Programatically identify space leaks in your program
Minimal FRP library
FRP for brick Terminal user interface library
FRP for gloss graphics and animation library
FRP library for processing-for-haskell package
A dynamic type for Haskell
Access the functions from the Cabal library without depending on it
Draw and update graphs in real time with OpenGL
Dynamic graph algorithms
Automatically derive dynamic linking methods from a data type
Lightweight loader of GHC-based modules or packages
A wrapper around MVector that enables pushing, popping and extending
Object-oriented programming with duck typing and singleton classes
Library Type Safe implementation of Dynamic Pipeline Paradigm (DPP)
Interactive diagram windows
A pretty-print library that employs a dynamic programming algorithm for optimal rendering
Optionally serializable dynamic state keyed by type
Dynamic time warping of sequences
Typesafe library for working with DynamoDB database
Dynamically runtime loading packages
Your dynamic optimization buddy
Dynamic reconfiguration in Haskell
DysFunctional Reactive Programming
DysFunctional Reactive Programming on Cairo
DysFunctional Reactive Programming on Craftwerk
Bindings to the dywapitchtrack pitch tracking library
Configure dzen2 bars in Dhall language
Utilities for creating inputs for dzen
An event-oriented observability library
OpenTelemetry-based rendering for e11y
Template Haskell library for writing monadic expressions more easily
Socket operations with timeouts
Extensible Authentication Protocol (EAP)
Ear Clipping Triangulation
Binding to C++ earcut library
Parsing all context-free grammars using Earley's algorithm
Early return syntax in do-notation (GHC plugin)
eas-clinodePackagesNix package
EAS command line tool
eas-clinodePackages_latestNix package
EAS command line tool
Robert Penner's easing equations
Utility code for building HTTP API bindings more quickly
Parses command line arguments
Types and functions for bitcoin applications
Cross-platform File handling
Logging made easy
Haskell JSON library with an emphasis on simplicity, minimal dependencies, and ease of use
A tiny plotting library, utilizes gnuplot for plotting
User-friendly creation of EPS, PostScript, and PDF files
Pure, type-indexed haskell vector, matrix, and tensor library
Use easytensor with vulkan-api
Simple, expressive testing library
Time in ebeats
A Haskell description of the eBird API
A command-line utility for interacting with the eBird API
Client functions for querying the eBird API
A pure EBML parser
Parser combinators & EBNF, BFFs!
Peter's Syntax Diagram Drawing Tool
The Amazon EC2 style signature calculator
A handy tool for uploading unikernels to Amazon's EC2
Elliptic Curve Cryptography for Haskell
Provides "ed25519" API using "eccrypto"
Basic ECDSA signing implementation
A cross-platform, cross-console way to handle echoing terminal input
A ECMA-262 interpreter library
A GHC.Generics based entity component system
Please see the README on GitHub at https://github.com/jkoppel/ecta#readme
Hole-Fit Synthesis using ECTAs
Tools for automotive ECU development
Ed25519 cryptographic signatures
Haskell bindings to ed25519-donna (Elliptical Curve Signature Scheme)
Command line file filtering with haskell
Templating language with similar syntax and features to Liquid or Jinja2
Semi-explicit parallel programming library