k-bx

par

Small utility that runs multiple computations in parallel

github-agent

Sync issues to your local directory as a git repo

emotive_conjugations

In rhetoric, emotive or emotional conjugation mimics the form of a grammatical conjugation of an irregular verb to illustrate humans’ tendency to describe their own behavior more charitably than the behavior of others.

hsyslog-udp

Haskell library to log to syslog over a network via UDP

k-bx.github.io

Personal blog

lambda-calculus-hs

servant-custommonad-logging

See https://github.com/haskell-servant/servant/issues/1180

agda

Agda is a dependently typed programming language / interactive theorem prover.

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

charty

Native charts library for Elm

elm-bridge

Haskell: Derive Elm types from Haskell types

elm-select-two

A mimic of Select2 in Elm

fluffy-octo-journey

junk

haskellcosm

Collecting information about Haskell ecosystem - companies, communities, media, etc.

hbeanstalk

haskell client for beanstalk message queue

ihp

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

ohrid-2019

https://sites.google.com/view/2019eutypesschool/travel?authuser=0

ohrid19-agda

Material for the Agda course at the EUTYPES Summer School '19 in Ohrid

ormolu.el

A formatter for Haskell source code

persistent-transaction-weirdness

plfa-exercises

rio-process-symlink-issue

https://github.com/commercialhaskell/rio/issues/217

rusty-tags

Create ctags/etags for a cargo project

servant-generic-custommonad-streaming

slow-echo-server

HTTP server that's slow in its responses, useful for testing

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

statvfs

haskell statvfs ffi binding

uap-rs

User Agent Parser for Rust

wai

Haskell Web Application Interface

zend-validator

Validator component from Zend Framework