Showing entries 5301-5400 out of 18268.
Generate Gentoo ebuilds from NodeJS/npm packages
Haskell symbolic execution engine
G2Q allows constraint programming, via writing Haskell predicates
Global Password Prehash Protocol
A theorem prover for propositional logic that uses G4ip
Theorem prover for intuitionistic propositional logic using G4ip
Genetic algorithm library
General Alignment Clustering Tool
FFTs over finite fields
Galois field library
Composable, streaming, and efficient left folds
Conway's Game of Life
Simple probability library for dice rolls, card games and similar
Searching game trees with alpha-beta pruning
Game clock that shows two analog clock faces
Tool for generating TOTP MFA tokens
Some kind of game library or set of utilities
Gamma function and related functions
Non-deterministic parallelism with bags
An Io interpreter in Haskell
Reverse prefix notation calculator and calculation library
Automatically spin up and spin down local daemons
Manage PostgreSQL servers with gargoyle
Connect to gargoyle-managed postgresql instances
Manage PostgreSQL servers with gargoyle and nix
A monad transformer for keeping track of where you've come from
A Functional Implementation of the Garsia-Wachs Algorithm
Limit how many steps a program may take
A framework of algebraic classes
An applicative for parsing unordered things, heterogenous sorting
Small framework for performance measurement and analysis
Non-adaptive Gaussian quadrature for numeric integraton
A library for downloading data from a Great Black Swamp server
Planar graph embedding into a plane
Poor Richard's Memory Manager
A wai application to show GHC.GCStats
GCode processor
Binding to the GNOME configuration database system
A Haskell binding to a subset of the GD graphics library
API Wrapping for Coinbase's GDAX exchange
GDELT V2 (Global Database of Events, Language, and Tone)
Generic diff and patch
Generic diff for the instant-generics library
Generate gdiff GADTs and Instances
Recursive atomic build system
Reason about invariants and preconditions with ghosts of departed proofs
Zooming rotating fractal gears graphics demo
An implementation of Gear hash, a fast rolling hash algorithm
Several games
Parser for the GEDCOM genealogy file format
Geek blog engine
Geek blog engine server
Haskell bindings to GEGL library
A graphics description language
FreeType2 based text rendering for the gelatin realtime rendering system
Gelatin's support for rendering TTF outlines, using FontyFruity
OpenGL rendering routines for the gelatin-picture graphics EDSL
An SDL2 backend for the gelatin renderer
Gelatin's OpenGL shaders
A simple Gemini capsule (server)
Generate CSV Exports of Your Gemini Trades, Transfers, & Earn Transactions
Generate CSV Exports of Your Gemini Trades, Transfers, & Earn Transactions
A simple Happstack-style Gemini router
A lightweight server for the Gemini protocol
A barebones textboard for the Gemini protocol
A tiny gemtext parser
A tiny gemtext converter for gemmula
A simple library of helpers for SDL+GL games
Code to generate instances for the package "ghc-instances"
Create wordlist-based passwords easily
Libary for processing the NCBI genbank format
A testing framework inspired by QuickCheck and SmallCheck
Identify a persons gender by their first name
Bindings to libgenders
Library for generating interface documentation from types
Hox gene clustering
Exception-safe resource management in more monads
Library supporting simulation of a number of games
Prelude replacement using generalized type classes where possible
A general TicTacToe game implementation
Python-generators notation for creation of monadic lists
Actually useful monadic random value generators
Stringly-named getters for generic data
Derivation of Aeson instances using GHC generics
Generic implementation for QuickCheck's Arbitrary
Generic Data
Automatically convert Generic instances to and from church representations
Constraints via Generic
Deriving instances with GHC.Generics and related utilities
Structural assertions on generic data representations
Familiar functions lifted to generic data types
Surgery for generic data types
Generic deep evaluation of data structures
Generic programming library for generalised deriving
An Enum class that fixes some deficiences with Prelude's Enum
Generically derived enumerations
Generic Environment Generator
Deriving generalized functors with GHC.Generics
Generically extract and replace collections of record fields