Derick Rethans's repositories
streamdeck-goui
Project to drive a Elgato Stream Deck in a sort of configurable way
josm-plugin-uberterrace
Improved terracer plugin for JOSM
tutorial-geospatial
The GIT commits that go with my tutorial explaining how to create PHP extensions
mongo-php-driver
MongoDB PHP driver (experimental)
toot-together
Tooting Together
php-policies
A collection of the policies and guidelines that set out PHP's development
workshop-webcamp22
Workshop material for Web Summer Camp 2022
confooca-2024
ConFoo Montreal 2024 - Slides
dbgp-tools
Client for the DBGp protocol, written in Go
elephpant.me
π a simple website to help you to trade elePHPants π₯
go-streamdeck
Go interface to an Elgato Streamdeck
php-ecma-intl-ext
π pecl/ecma_intl: A PHP implementation of ECMA-402 for internationalization and localization
phpcommunity-policies
Policy documents for PHP Community
phpsourcemaps
Generate and read source maps using PHP
phpstan-src
PHPStan's source code. This is where development happens. Check https://github.com/phpstan/phpstan for the distribution repository.
setup-php-sdk
Setup Windows build environment for PHP extensions
web-wiki
The PHP Wiki Systems