higher-order algebraic effects done right for Haskell
Updated 2024-11-23 11:53:50 +03:00
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-11-22 21:29:37 +03:00
A comprehensive self-management System
Updated 2024-11-21 19:16:12 +03:00
Type-checked proof that a key exists in a container and can be safely indexed.
Updated 2024-11-18 07:13:40 +03:00
Declarative feedback loop manager
Updated 2024-11-14 12:54:54 +03:00
Deploy tool for Haskell applications, like Capistrano for Rails
Updated 2024-11-12 16:17:56 +03:00
self(auto)- documenting encoders and decoders
Updated 2024-11-04 12:51:42 +03:00
Web3 API for Haskell.
Updated 2024-10-25 13:43:26 +03:00
🐚 Out of the shell solution for scripting in Haskell
Updated 2024-10-20 17:12:01 +03:00
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Updated 2024-10-13 20:29:57 +03:00
🕵️ Haskell STatic ANalyser
Updated 2024-10-06 13:34:17 +03:00
Haskell Web Application Interface
Updated 2024-09-21 14:04:59 +03:00
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
Updated 2024-09-09 15:30:09 +03:00
A fast, flexible, fused effect system for Haskell
Updated 2024-08-21 18:54:50 +03:00
Algebraic graphs
Updated 2024-05-20 01:27:44 +03:00
💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
Updated 2024-05-11 19:37:46 +03:00
Straightforward validation monad. Convenient for validating web forms and APIs.
web
Updated 2024-01-08 12:32:38 +03:00