marcosh/marcosh.github.io

Language: JavaScript - Size: 88.7 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 4 - Forks: 1

marcosh/crem

Compositional Representable Executable Machines

Language: Haskell - Size: 593 KB - Last synced at: 24 days ago - Pushed at: 8 months ago - Stars: 119 - Forks: 8

marcosh/lamphpda

A collection of type-safe functional data structures

Language: PHP - Size: 405 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 119 - Forks: 9

marcosh/embeds

Embeddind contexts with natural transformations

Language: Haskell - Size: 10.7 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

marcosh/lamphpda-validation

A validation library using Either from marcosh/lamphpda

Language: PHP - Size: 137 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 11 - Forks: 1

marcosh/crem-journal

Activity and time tracking, based on event sourcing and crem

Language: Haskell - Size: 65.4 KB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

marcosh/existential-optics

A simple optics library based on existential encoding

Language: Haskell - Size: 27.3 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 13 - Forks: 1

marcosh/theartofcomposition

slides for my talk about category theory

Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

marcosh/idris-hanoi

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

Language: Idris - Size: 7.81 KB - Last synced at: 8 days ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

marcosh/mono-traversable Fork of snoyberg/mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

Size: 1.53 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

marcosh/lamphpda-optics

A functional optic library for PHP

Language: PHP - Size: 79.1 KB - Last synced at: 2 days ago - Pushed at: 11 months ago - Stars: 8 - Forks: 1

marcosh/php-validation-dsl

A DSL for validating data in a functional fashion

Language: PHP - Size: 154 KB - Last synced at: 7 days ago - Pushed at: almost 4 years ago - Stars: 48 - Forks: 3

marcosh/domain-modelling-state-machines-talk

Size: 2.32 MB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

marcosh/traffic

Experimenting with traffic simulations using [Arduino](https://www.arduino.cc/) and [Copilot](https://copilot-language.github.io/).

Language: Haskell - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

marcosh/psalm-plugin-wordpress Fork of psalm/psalm-plugin-wordpress

WordPress stubs and plugin for Psalm

Language: PHP - Size: 135 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

marcosh/php-resque-plugin Fork of JaapRood/php-resque-plugin

A plugin architecture for php-resque

Language: PHP - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

marcosh/php-resque-retry Fork of JaapRood/php-resque-retry

A php-resque plugin; provides retry, delay and exponential backoff support to php-resque jobs. A port of the resque-retry plugin for PHP.

Language: PHP - Size: 15.6 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

marcosh/zf2-resque Fork of dmregister/zf2-resque

Creates a ZF2 module and wraps the php-resque project into a service that can interact with the service locator.

Language: PHP - Size: 21.5 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

marcosh/deployer Fork of deployphp/deployer

A deployment tool written in PHP with support for popular frameworks out of the box

Language: PHP - Size: 873 KB - Last synced at: over 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

marcosh/profunctors Fork of ekmett/profunctors

Haskell 98 Profunctors

Language: Haskell - Size: 419 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

marcosh/chocolates

Database storing the data of my chocolate wrappers collection

Size: 758 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

marcosh/valueobjects Fork of codeliner/valueobjects

PHP Value Object library

Language: PHP - Size: 747 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

marcosh/functional-loops

Material for the functional loops talk

Size: 7.17 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

marcosh/ddd-machines-dddeurope

Language: Haskell - Size: 2.67 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 4

marcosh/elm-man

a simple game in Elm

Size: 0 Bytes - Last synced at: 29 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

marcosh/permutations Fork of vmchale/permutations

Provides a type-safe way of working with permutations in Idris

Language: Idris - Size: 190 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/idris-rationals

rational numbers in Idris

Language: Idris - Size: 2.93 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/tn-fp-haskell-course Fork of smelc/tn-fp-haskell-course

Functional Programming course for Telecom Nancy, using Haskell

Size: 129 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

marcosh/rel8 Fork of circuithub/rel8

Hey! Hey! Can u rel8?

Size: 2.19 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

marcosh/typed-state-machine

Language: Haskell - Size: 35.2 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

marcosh/elm-html-to-unicode

elm library to convert html characters to unicode

Language: Elm - Size: 21.5 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 4

marcosh/stan Fork of kowainik/stan

🕵️ Haskell STatic ANalyser

Language: Haskell - Size: 550 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

marcosh/ddd-machines

Using Mealy machines to implement a DDD design

Language: Haskell - Size: 14.6 KB - Last synced at: 29 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

marcosh/effector

A Php library to write effect aware code.

Language: PHP - Size: 65.4 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

marcosh/fundic

PHP purely functional dependency injection container

Language: PHP - Size: 31.3 KB - Last synced at: 1 day ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

marcosh/calcetthon

Backend application to collect foosball results

Language: Haskell - Size: 36.1 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

marcosh/availer

a Haskell library to manage intervals

Language: Haskell - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/fizzbuzz

teaching haskell with fizzbuzz

Language: Haskell - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

marcosh/stan-action Fork of kowainik/stan-action

GitHub Action for Stan –– Haskell Static Analysis tool

Language: Dockerfile - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

marcosh/haskellweekly Fork of haskellweekly/haskellweekly

Publishes curated news about the Haskell programming language.

Size: 3.11 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

marcosh/phplovestypes

Language: JavaScript - Size: 17.6 MB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

marcosh/dhall-deptrac

Dhall types and functions to manage Deptrac configurations

Language: Dhall - Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

marcosh/default-map

containers with a default value

Language: Haskell - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

marcosh/unordered-containers Fork of haskell-unordered-containers/unordered-containers

Efficient hashing-based container types

Size: 2.11 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

marcosh/builtwithelm Fork of lukewestby/builtwithelm

A list of projects and apps built with Elm.

Language: Elm - Size: 10.7 MB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

marcosh/twitteroauth Fork of abraham/twitteroauth

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

Language: PHP - Size: 181 KB - Last synced at: over 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

marcosh/assert Fork of webmozarts/assert

Assertions to validate method input/output with nice error messages.

Language: PHP - Size: 174 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

marcosh/deptrac Fork of qossmic/deptrac

Keep your architecture clean.

Size: 1.23 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

marcosh/haskell-scientist

Language: Haskell - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

marcosh/you-are-using-it-wrong Fork of Roave/you-are-using-it-wrong

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

Size: 217 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

marcosh/psalm Fork of vimeo/psalm

A static analysis tool for finding errors in PHP applications

Size: 41.5 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

marcosh/tickets

Domain for tickets management

Language: PHP - Size: 51.8 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 1

marcosh/fiscal-code

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

Language: Haskell - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/steeloverseer Fork of schell/steeloverseer

A file watcher and development tool.

Size: 475 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/minimorph Fork of Mikolaj/minimorph

English spelling functions with an emphasis on simplicity. Originally by https://github.com/kowey.

Size: 84 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/github Fork of haskell-github/github

The github API for Haskell

Size: 1.19 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/devrep

Aggregator for online developers reputation

Language: Haskell - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

marcosh/data-interval Fork of msakai/data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell

Size: 302 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

marcosh/purescript-either Fork of purescript/purescript-either

Values with two possibilities

Size: 80.1 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

marcosh/unison-first

Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

marcosh/property-based-testing-examples

Language: Haskell - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

marcosh/exercises Fork of trustbit/exercises

SoftwarePark exercises and dojos

Language: Python - Size: 3.47 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

marcosh/ddd-kata

Language: Haskell - Size: 4.88 KB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

marcosh/fpoop

slides for a talk of fp vs oop

Language: JavaScript - Size: 4.61 MB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

marcosh/dear-github-2.0 Fork of drop-ice/dear-github-2.0

📨 An open letter to GitHub from the maintainers of open source projects

Size: 82 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

marcosh/fun-with-categories-talk

slides for the `fun with categories` talk

Language: JavaScript - Size: 3.14 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

marcosh/idris-tparsec Fork of gallais/idris-tparsec

TParsec - Total Parser Combinators in Idris

Size: 206 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

marcosh/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Language: Nix - Size: 950 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

marcosh/profunctor-machines

Playing with profunctor machines

Language: Haskell - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/maybe-php

A safe and generic implementation on Maybe in PHP

Language: PHP - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

marcosh/purescript Fork of purescript/purescript

A strongly-typed language that compiles to JavaScript

Language: Haskell - Size: 9.89 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/php-functional-data-validation

Slides for my php functional data validation talk

Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/awesome-idris Fork of joaomilho/awesome-idris

𝛌 Awesome Idris resources

Language: Idris - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

marcosh/elm-joindin

A page for displaying links to slides of joindin talks

Language: Elm - Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: about 9 years ago - Stars: 4 - Forks: 0

marcosh/elm-table-football

an application to connect elm, ddd/es/cqrs and table football

Language: Elm - Size: 28.3 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 5 - Forks: 0

marcosh/typedefs Fork of typedefs/typedefs

Programming language agnostic type construction language based on polynomials.

Language: Idris - Size: 316 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

marcosh/jsonschema-gen Fork of yuga/jsonschema-gen

A generator for JSON Schema from Algebraic Data Type in Haskell.

Language: Haskell - Size: 67.4 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

marcosh/elm-hanoi

The Hanoi tower game implemented in Elm

Language: JavaScript - Size: 89.8 KB - Last synced at: about 2 months ago - Pushed at: almost 9 years ago - Stars: 2 - Forks: 0

marcosh/eventi

Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

marcosh/typedefs-ide Fork of typedefs/try-typedefs

Typedefs IDE

Language: JavaScript - Size: 175 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

marcosh/php-sum-types

another attempt at sum types in PHP

Language: PHP - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

marcosh/uuid Fork of ramsey/uuid

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

Language: PHP - Size: 1.07 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

marcosh/book-club Fork of m-u-g/book-club

This repo collects a set of notes taken while discussing during our Book Club Meetings

Language: TypeScript - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

marcosh/servant Fork of haskell-servant/servant

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

Language: Haskell - Size: 6.25 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

marcosh/emailaddress Fork of cdepillabout/emailaddress

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

Language: Haskell - Size: 24.4 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

marcosh/m-u-g.github.io Fork of m-u-g/m-u-g.github.io

MUG (Marca User Group) Website

Language: HTML - Size: 1.37 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

marcosh/elm-escqrs

experiments with elm and es/cqrs

Language: Elm - Size: 1.95 KB - Last synced at: about 1 month ago - Pushed at: almost 9 years ago - Stars: 9 - Forks: 1

marcosh/graphql-api Fork of haskell-graphql/graphql-api

Write type-safe GraphQL services in Haskell

Language: Haskell - Size: 749 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

marcosh/chocolate-servant

servant api to manage a chocolate wrappers collection

Language: Haskell - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

marcosh/php-resque-scheduler Fork of chrisboulton/php-resque-scheduler

An addon for php-resque that lets you queue jobs for execution some time in the future. Follows resque-scheduler.

Language: PHP - Size: 21.5 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

marcosh/Idris-dev Fork of idris-lang/Idris-dev

A Dependently Typed Functional Programming Language

Language: Haskell - Size: 33 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

marcosh/site Fork of infection/site

Documentation for Infection - PHP Mutation Testing Framework

Language: JavaScript - Size: 20.7 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

marcosh/infection Fork of infection/infection

AST based PHP Mutation Testing Framework

Language: PHP - Size: 407 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

marcosh/hal Fork of weierophinney/hal

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

Language: PHP - Size: 656 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

marcosh/zend-stratigility Fork of zendframework/zend-stratigility

Middleware for PHP built on top of PSR-7

Language: PHP - Size: 1.16 MB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

marcosh/storageless Fork of psr7-sessions/storageless

:mailbox_with_mail: storage-less PSR-7 session support

Language: PHP - Size: 249 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

marcosh/mockery-bug

Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

marcosh/phunkie Fork of phunkie/phunkie

Phunkie is a library with functional structures for PHP.

Language: PHP - Size: 292 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

marcosh/eventgraph

an event driven library using a graph database

Language: PHP - Size: 34.2 KB - Last synced at: about 2 months ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

marcosh/php-type-checker

Checks which methods are missing a return type hint

Language: PHP - Size: 67.4 KB - Last synced at: about 2 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0