marcosh's Stars
vimeo/psalm
A static analysis tool for finding errors in PHP applications
statebox/awesome-applied-ct
ACT community resources
tweag/awesome-learning-haskell
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
EthicalSource/hippocratic-license
An ethical license for open source.
statebox/idris-ct
formally verified category theory library
marcosh/lamphpda
A collection of type-safe functional data structures
tweag/servant-template
A modern template for a Servant
marcosh/php-validation-dsl
A DSL for validating data in a functional fashion
tweag/crem
Compositional Representable Executable Machines
tweag/haskell-training
Material for Haskell training
statebox/purescript-firestore
A Purescript library to interact with Google Cloud Firestore
marcosh/existential-optics
A simple optics library based on existential encoding
marcosh/lamphpda-validation
A validation library using Either from marcosh/lamphpda
ubaldop/it-depends-manifesto
The only constant in software engineering is that everything depends (even this only constant)
marcosh/lamphpda-optics
A functional optic library for PHP
mvlabs/es-cqrs-workshop
Source edit for es/cqrs workshop
marcosh/elm-html-to-unicode
elm library to convert html characters to unicode
marcosh/elm-table-football
an application to connect elm, ddd/es/cqrs and table football
purehp/purehp
A PHP backend for PureScript
marcosh/elm-joindin
A page for displaying links to slides of joindin talks
marcosh/marcosh.github.io
marcosh/typed-state-machine
marcosh/property-based-testing-examples
mvlabs/ze-workshop
Middleware architectures in PHP with Zend Expressive
marcosh/maybe-php
A safe and generic implementation on Maybe in PHP
marcosh/php-type-checker
Checks which methods are missing a return type hint
mvlabs/prooph-skeleton
A simple skeleton application to start with Prooph ES/CQRS applications