discord-haskell is a Haskell library for building Discord bots. It provides type-safe bindings to the Discord API, handling both REST requests and WebSocket gateway connections. The library features automatic rate limiting, resilient connection handling with reconnection logic, optional caching of guild/channel/user data, and comprehensive support for Discord interactions including slash commands, buttons, select menus, and modals. Built with a modular architecture separating gateway, REST, and type concerns, it uses ReaderT for dependency injection and provides a clean interface for bot developers.
The Functional Graph Library (FGL) is a Haskell library providing an inductive approach to graph data structures and algorithms. It offers multiple graph implementations (Tree-based and PatriciaTree-based) with varying performance characteristics, along with a comprehensive suite of graph algorithms including BFS, DFS, shortest path, max flow, min span tree, articulation points, biconnected components, dominators, and transitive closure. The library features a modular architecture with clear separation between core graph type classes, basic operations, and specific query algorithms. It supports both pure functional and monadic (imperative-style) graph manipulation, with utilities for automatic node labeling and graph construction. The library is actively maintained with recent updates supporting modern GHC versions and includes a thorough test suite with QuickCheck properties.
This repository provides a Haskell library for generating singleton types and promoted versions of data types and functions using Template Haskell. It enables dependently typed programming in Haskell by lifting term-level code to the type level and providing singleton types that mirror term-level values. The library is split into three packages: `singletons` (core functionality with broad GHC compatibility), `singletons-base` (promoted/singled versions of the base library), and `singletons-th` (Template Haskell machinery for code generation). Key features include automatic generation of defunctionalization symbols for higher-order type-level programming, derivation of type class instances for singleton types, and support for kind polymorphism.
nvfetcher is a Haskell-based CLI tool and library for automating Nix package updates. It integrates with nvchecker to monitor upstream version releases and uses the Shake build system to manage dependency tracking and incremental builds. The tool processes package definitions (from TOML config or Haskell DSL), fetches source code using appropriate methods (git, GitHub, URL, tarball, Docker), optionally extracts files, processes Rust Cargo.lock dependencies, and generates Nix expressions and JSON metadata for use in Nixpkgs. The architecture is modular with clear separation of concerns: configuration parsing, core logic, fetching mechanisms, version checking, extraction, and Nix expression generation.