marcosh Goto Github PK

property-based-testing-examples

psalm

A static analysis tool for finding errors in PHP applications

purescript

A strongly-typed language that compiles to JavaScript

purescript-either

Values with two possibilities

reflection

Reflection library to do Static Analysis for PHP Projects

rel8

Hey! Hey! Can u rel8?

requestlogger

write to a file every received request

reveal.js

The HTML Presentation Framework

servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

shape

Experimenting on how to handle correctly a form with validation

site

Documentation for Infection - PHP Mutation Testing Framework

stan

🕵️ Haskell STatic ANalyser

stan-action

GitHub Action for Stan –– Haskell Static Analysis tool

steeloverseer

A file watcher and development tool.

storageless

:mailbox_with_mail: storage-less PSR-7 session support

theartofcomposition

slides for my talk about category theory

tickets

Domain for tickets management

tn-fp-haskell-course

Functional Programming course for Telecom Nancy, using Haskell

twitteroauth

The first PHP Library to support OAuth for Twitter's REST API

typed-state-machine

typedefs

Programming language agnostic type construction language based on polynomials.

typedefs-ide

Typedefs IDE

unison-first

unordered-containers

Efficient hashing-based container types

uuid

A PHP library for generating RFC 4122 version 1, 3, 4, and 5 universally unique identifiers (UUID).

valueobjects

PHP Value Object library

various

my website about chocolate

webinthemiddle

stupid php proxy to test psr-7

you-are-using-it-wrong

:oncoming_police_car: Type check enforcement for library authors: enforces type-safety downstream

zend-expressive-skeleton

Begin developing PSR-7 middleware applications in seconds!