marcosh/crem

Stars
101
Rank 338,166 (Top 7 %)
Language
Haskell
License
MIT License
Created almost 2 years ago
Updated about 1 year ago

marcosh/crem

marcosh

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

elm-html-to-unicode

elm library to convert html characters to unicode

theartofcomposition

slides for my talk about category theory

elm-table-football

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

elm-joindin

A page for displaying links to slides of joindin talks

typed-state-machine

marcosh.github.io

idris-hanoi

a super type safe implementation of the game of the Tower of Hanoi

fun-with-categories-talk

slides for the `fun with categories` talk

dhall-deptrac

Dhall types and functions to manage Deptrac configurations

ddd-machines-dddeurope

property-based-testing-examples

elm-hanoi

The Hanoi tower game implemented in Elm

effector

A Php library to write effect aware code.

php-type-checker

Checks which methods are missing a return type hint

fundic

PHP purely functional dependency injection container

maybe-php

A safe and generic implementation on Maybe in PHP

domain-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 PHP