Haskell bindings to wlroots (and libwayland)

Time, as a PDF, as a service.

🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

A work-in-progress core language for Agda, in Agda

🐢 🌎 📚 a community-owned language-learning platform

perhaps, eventually, an IGT split tracker

Dual Traversable

The newest internet sensation in idle games, maybe, probably, not really.

q - Run SQL directly on delimited files and multi-file sqlite databases

deprecated: https://github.com/haskell-servant/servant/pull/1314

A new Categories library for Agda

Maintainable configuration files, for Rust users

A comprehensive Google Services SDK for Haskell.

Easy way to run doctests via cabal

A PyTorch implementation of DeepSpeech and DeepSpeech2.

A Minesweeper clone with infinite grid written in Haskell.

Py.test style assertions in Haskell

Nix Packages collection & NixOS

A utility for displaying the module dependencies of Haskell programs.

Run Clash circuits with a SDL frontend

Generate fake recursion schemes

Deep Learning in Haskell

The Trillek Engine

Miniature city simulator.

An esoteric programming language

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

enumerative property-based testing for Haskell

The Agda standard library