marcosh Goto Github PK

emailaddress

Wrapper around email-validate adding new non-orphaned instances to EmailAddress

eris

Eris is a porting of Quickcheck and property-based testing tools to the PHP and PHPUnit ecosystem.

eventgraph

an event driven library using a graph database

eventi

exercises

SoftwarePark exercises and dojos

existential-optics

A simple optics library based on existential encoding

fiscal-code

Library to generate and verify the [Italian fiscal code](https://en.wikipedia.org/wiki/Italian_fiscal_code).

fizzbuzz

teaching haskell with fizzbuzz

fpoop

slides for a talk of fp vs oop

fun-with-categories-talk

slides for the `fun with categories` talk

functional-loops

Material for the functional loops talk

fundic

PHP purely functional dependency injection container

github

The github API for Haskell

graphql-api

Write type-safe GraphQL services in Haskell

guide.elm-lang.org

An Introduction to Elm.

hal

Proof of concept Hypertext Application Layer support for PSR-7 applications

hanoi-tower

A code kata based on the hanoi tower game

haskell-scientist

haskellweekly

Publishes curated news about the Haskell programming language.

highlight.js

JavaScript syntax highlighter with language auto-detection and zero dependencies.

http-1

PSR HTTP Message implementations and node-like http.Server implementation

idris-dev

A Dependently Typed Functional Programming Language

idris-hanoi

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

idris-rationals

rational numbers in Idris

idris-tparsec

TParsec - Total Parser Combinators in Idris

infection

AST based PHP Mutation Testing Framework

joindin-api

API for the joind.in website, apps, and other animals

joindin-legacy

Source code behind the old version of the joind.in website

joindin-vm

Quick way to get the platform for joind.in development set up

joindin-web2

Next generation website for joind.in