Pinned Repositories
crem
Compositional Representable Executable Machines
elm-escqrs
experiments with elm and es/cqrs
existential-optics
A simple optics library based on existential encoding
lamphpda
A collection of type-safe functional data structures
lamphpda-validation
A validation library using Either from marcosh/lamphpda
php-validation-dsl
A DSL for validating data in a functional fashion
idris-ct
formally verified category theory library
awesome-learning-haskell
A collection of resources which were useful to Tweagers for learning Haskell and its various aspects
haskell-training
Material for Haskell training
servant-template
A modern template for a Servant
marcosh's Repositories
marcosh/lamphpda
A collection of type-safe functional data structures
marcosh/crem
Compositional Representable Executable Machines
marcosh/existential-optics
A simple optics library based on existential encoding
marcosh/lamphpda-validation
A validation library using Either from marcosh/lamphpda
marcosh/lamphpda-optics
A functional optic library for PHP
marcosh/marcosh.github.io
marcosh/fun-with-categories-talk
slides for the `fun with categories` talk
marcosh/typed-state-machine
marcosh/ddd-machines-dddeurope
marcosh/domain-modelling-state-machines-talk
marcosh/traffic
Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).
marcosh/aeson-diff
Generate and apply diffs between JSON documents.
marcosh/chocolates
Database storing the data of my chocolate wrappers collection
marcosh/ddd-machines
Using Mealy machines to implement a DDD design
marcosh/elm-man
a simple game in Elm
marcosh/fpoop
slides for a talk of fp vs oop
marcosh/functional-loops
Material for the functional loops talk
marcosh/guide.elm-lang.org
An Introduction to Elm.
marcosh/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
marcosh/mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
marcosh/profunctors
Haskell 98 Profunctors
marcosh/psalm
A static analysis tool for finding errors in PHP applications
marcosh/psalm-plugin-wordpress
WordPress stubs and plugin for Psalm
marcosh/purescript-simple-ajax
An opionated library to work with AJAX and JSON
marcosh/rel8
Hey! Hey! Can u rel8?
marcosh/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
marcosh/stan
🕵️ Haskell STatic ANalyser
marcosh/tn-fp-haskell-course
Functional Programming course for Telecom Nancy, using Haskell
marcosh/wrong-dependency-version-test
marcosh/yesod-job-queue
Background job queue library for Yesod.