There are no reviews yet. Be the first to send feedback to the community and the maintainers!
lamphpda
A collection of type-safe functional data structurescrem
Compositional Representable Executable Machinesphp-validation-dsl
A DSL for validating data in a functional fashionexistential-optics
A simple optics library based on existential encodinglamphpda-validation
A validation library using Either from marcosh/lamphpdaelm-escqrs
experiments with elm and es/cqrslamphpda-optics
A functional optic library for PHPelm-html-to-unicode
elm library to convert html characters to unicodetheartofcomposition
slides for my talk about category theoryelm-table-football
an application to connect elm, ddd/es/cqrs and table footballelm-joindin
A page for displaying links to slides of joindin talkstyped-state-machine
marcosh.github.io
idris-hanoi
a super type safe implementation of the game of the Tower of Hanoifun-with-categories-talk
slides for the `fun with categories` talkdhall-deptrac
Dhall types and functions to manage Deptrac configurationsddd-machines-dddeurope
property-based-testing-examples
elm-hanoi
The Hanoi tower game implemented in Elmeffector
A Php library to write effect aware code.php-type-checker
Checks which methods are missing a return type hintfundic
PHP purely functional dependency injection containerdomain-modelling-state-machines-talk
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 PHPLove Open Source and this site? Check out how you can help us