Discover @marcosh Open Source projects

Marco Perone (@marcosh)

marcosh

Stars
344
Global Rank 78,026 (Top 3 %)
Followers 115
Registered over 11 years ago
Most used languages

PHP
37.5 %

Haskell
25.0 %

Elm
16.7 %

JavaScript
12.5 %

Idris 4.2 %

Dhall 4.2 %
Location 🇮🇹 Italy
Country Total Rank 745
Country Ranking

Dhall 1

Haskell
2

Idris 3

Elm
4

PHP
56

JavaScript
1,386

lamphpda

A collection of type-safe functional data structures

crem

Compositional Representable Executable Machines

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

dhall-deptrac

Dhall types and functions to manage Deptrac configurations

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

ddd-machines-dddeurope

property-based-testing-examples

elm-hanoi

The Hanoi tower game implemented in Elm

php-type-checker

Checks which methods are missing a return type hint

fundic

PHP purely functional dependency injection container

effector

A Php library to write effect aware code.

maybe-php

A safe and generic implementation on Maybe in PHP

domain-modelling-state-machines-talk

php-sum-types

another attempt at sum types in PHP

traffic

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