girgias Goto Github PK

advent-of-code

Personal solutions to Advent of Code

core-autoloading-rfc

css3-parser

A CSS Level 3 parser written in PHP.

derickrethans-articles

doc-base

Experimental Git mirror of the "doc-base" PHP documentation repository. Accepts pull requests. May be force-pushed in the future.

doc-en

Experimental Git mirror of the English PHP documentation repository. Accepts pull requests. May be force-pushed in the future.

doc-es

Spanish translation of the PHP documentation

doc-fr

French translation of the PHP documentation

doc-pt_br

Brazilian Portuguese translation of the PHP documentation

error-control-operator-exceptions-rfc

PHP RFC: Extend error control operator to suppress exceptions

ext-decimal

Correctly-rounded, arbitrary precision decimal floating-point arithmetic in PHP 7

float-int-warning

PHP RFC to add a warning diagnostic for implicit float to int conversions.

formalising-mathematics-2022

Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.

html

HTML and Form Builders for the Laravel Framework

icl-2022-formalising-mathematics-irl

IRL session notes for the Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics taught at Imperial College London

intersection-types

PHP RFC for pure intersection types

karma

The Karma Stuff

konami-js

Add the Konami Code easter egg to your project. Compatible with gestures on smartphones and tablets as well.

lean-cw1

CW1 for Imperial's Lean course

lodel

Science publishing CMS

magento2

Prior to making any Submission(s), you must sign an Adobe Contributor License Agreement, available here at: https://opensource.adobe.com/cla.html. All Submissions you make to Adobe Inc. and its affiliates, assigns and subsidiaries (collectively “Adobe”) are subject to the terms of the Adobe Contributor License Agreement.

mantisbt

Mantis Bug Tracker (MantisBT)

mathlib

Lean mathematical components library

nuit-info-2018-pinata

Défi pinata de la nuit de l'info 2018

oceanwp

Free multi-purpose WordPress theme

pecl-database-ibm_db2

Extension for IBM DB2 Universal Database, IBM Cloudscape, and Apache Derby

pecl-math-stats

Extension with routines for statistical computation

pecl-networking-gearman

PHP wrapper to libgearman

pecl-php-blenc

Protect PHP Scripts with Blowfish (PHP 7.4/8.1)

pgsafari-php

PHP releases for Pgsafari