Marco Perone

crem. Compositional Representable Executable Machines

lamphpda. A collection of type-safe functional data structures

php-validation-dsl. A DSL for validating data in a functional fashion

existential-optics. A simple optics library based on existential encoding

lamphpda-validation. A validation library using Either from marcosh/lamphpda

elm-escqrs. experiments with elm and es/cqrs

lamphpda-optics. A functional optic library for PHP

theartofcomposition. slides for my talk about category theory

crem-journal. Activity and time tracking, based on event sourcing and crem

elm-html-to-unicode. elm library to convert html characters to unicode

idris-hanoi. a super type safe implementation of the game of the Tower of Hanoi

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

marcosh.github.io. JavaScript

embeds. Embeddind contexts with natural transformations

elm-joindin. A page for displaying links to slides of joindin talks

fun-with-categories-talk. slides for the `fun with categories` talk

typed-state-machine. Haskell

dhall-deptrac. Dhall types and functions to manage Deptrac configurations

elm-hanoi. The Hanoi tower game implemented in Elm

ddd-machines-dddeurope. Haskell

property-based-testing-examples. Haskell

effector. A Php library to write effect aware code.

php-type-checker. Checks which methods are missing a return type hint

traffic. Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).

php-sum-types. another attempt at sum types in PHP

fundic. PHP purely functional dependency injection container

maybe-php. A safe and generic implementation on Maybe in PHP