Top Repositories
A collection of type-safe functional data structures
Compositional Representable Executable Machines
A DSL for validating data in a functional fashion
A simple optics library based on existential encoding
A validation library using Either from marcosh/lamphpda
A functional optic library for PHP
Repositories
140A simple optics library based on existential encoding
No description provided.
A collection of type-safe functional data structures
Compositional Representable Executable Machines
Activity and time tracking, based on event sourcing and crem
a super type safe implementation of the game of the Tower of Hanoi
my own nixos configuration
Embeddind contexts with natural transformations
Keep your architecture clean.
A validation library using Either from marcosh/lamphpda
slides for my talk about category theory
Type classes for mapping, folding, and traversing monomorphic containers
Generate and apply diffs between JSON documents.
A functional optic library for PHP
A DSL for validating data in a functional fashion
No description provided.
Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).
An opionated library to work with AJAX and JSON
Background job queue library for Yesod.
WordPress stubs and plugin for Psalm
No description provided.
JavaScript syntax highlighter with language auto-detection and zero dependencies.
Haskell 98 Profunctors
Database storing the data of my chocolate wrappers collection
PHP Value Object library
Material for the functional loops talk
No description provided.
a simple game in Elm
Provides a type-safe way of working with permutations in Idris
rational numbers in Idris