andreasabel

agda2lagda

Simple conversion from Agda text to literate Agda text.

cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

agda-automata

Formalisation of automata in Agda

gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

ini

Quick and easy INI configuration files for Haskell

agda-meeting-38-swansea

blaze-html

A blazingly fast HTML combinator library for Haskell.

ci-stack-win

Github Workflow Issue

commonmark-hs

Pure Haskell commonmark parsing library, designed to be flexible and extensible

filepattern

A file path matching library

gha-test

Testing GitHub Actions

ghc-paths

Knowledge of GHC's installation directories

hakyll

A static website compiler library in Haskell

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

haskell-lexer

A fully compliant Haskell 98 lexer.

hasktags

Produces ctags "tags" and etags "TAGS" files for Haskell programs

hasktorch

Tensors and neural networks in Haskell

hs-captcha

io-streams

Simple, composable, and easy-to-use stream I/O for Haskell

lifted-async

Run lifted IO operations asynchronously and wait for their results

OpenGL

Haskell bindings to OpenGL

safecopy

An extension to Data.Serialize with built-in version control

Shelly.hs

Haskell shell scripting

snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

splitmix

Pure Haskell implementation of SplitMix pseudo-random number generator

stackage

"Stable Hackage": vetted consistent packages from Hackage

term-rewriting

Yet another haskell term rewriting library

th-extras

A grab bag of useful functions for use with Template Haskell

time

A time library

union-find-array

ST based union find data structure