marcosh/idris-hanoi

Stars
3
Rank 3,892,019 (Top 79 %)
Language Idris
Created over 6 years ago
Updated over 6 years ago

marcosh/idris-hanoi

marcosh

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

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

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

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/).