Andreas Abel's repositories
cabal-clean
Remove outdated compilation artefacts left by cabal v2-build
sbv-quarter-circle-puzzle
Solve a grid-based partitioning puzzle with SMT using Haskell's sbv library
cborg
Binary serialisation in the CBOR format
ci-stack-win
Github Workflow Issue
commonmark-hs
Pure Haskell commonmark parsing library, designed to be flexible and extensible
entropy
Easy entropy source for Haskell users.
filepattern
A file path matching library
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
hasktorch
Tensors and neural networks in Haskell
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
poset-type-theory
Experimental implementation of a Cubical Type Theory modeled by presheaves over posets
pqueue
Haskell priority queue package
Shelly.hs
Haskell shell scripting
snap
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
term-rewriting
Yet another haskell term rewriting library
union-find-array
ST based union find data structure