Multiplayer Blackjack: A Compositional State Machine

Embeddind contexts with natural transformations

Activity and time tracking, based on event sourcing and crem

PhD course on Functional Programming and Climate Impact Research

Compositional Representable Executable Machines

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

A modern template for a Servant

Material for Haskell training

A simple optics library based on existential encoding

A validation library using Either from marcosh/lamphpda

A PHP backend for PureScript

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

An ethical license for open source.

A Purescript library to interact with Google Cloud Firestore

A collection of type-safe functional data structures

ACT community resources

A safe and generic implementation on Maybe in PHP

A DSL for validating data in a functional fashion

Programming language agnostic type construction language based on polynomials.

formally verified category theory library

A functional optic library for PHP

The only constant in software engineering is that everything depends (even this only constant)

Source edit for es/cqrs workshop

Middleware architectures in PHP with Zend Expressive

Checks which methods are missing a return type hint

A simple skeleton application to start with Prooph ES/CQRS applications

an application to connect elm, ddd/es/cqrs and table football