JonathanLorimer

hs-connection

simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.

the-little-typer

cosmos.nix

Nix Integration with Cosmos Projects

plfa

Learning Agda

aeson

A fast Haskell JSON library

algorithms

apalache

APALACHE: symbolic model checker for TLA+

comet-hs

cosmwasm.nix

Cosmwasm dev environment

distributed-process

Cloud Haskell core library

gossip-glomers

https://fly.io/dist-sys/

hereditarily-finite-sets

hs-opentelemetry

OpenTelemetry support for the Haskell programming language

iles-mdxComponents-repro

iles-vite-plugin-svg-sprite-repro

JonathanLorimer

maelstrom.nix

network-transport

Generic Network.Transport API

okasaki

password

datatypes and functions for easily working with passwords in Haskell

proto3-suite

Haskell Protobuf Implementation

purescript-bridge

Create PureScript datatypes from Haskell datatypes

purescript-overlay

PureScript core tools in Nix

rel8

Hey! Hey! Can u rel8?

servant-multipart

Support for file uploads in multipart/form-data for servant

servant-openapi3

OpenAPI 3.0 for Servant

simplexmq

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

slick

Static site generator built on Shake configured in Haskell

text-display

A Typeclass for user-facing output

vue-progressive-image

Vue progressive image loading plugin